@inproceedings{ecai1996-how,
  title = {How to Use Cycles for Logicial Compilation},
  author = {Roussel, Olivier and Mathieu, Philippe},
  booktitle = {Proceedings of the European Conference on Artificial Intelligence's Workshop on Advances in Propositional Deduction (APD@ECAI'96)},
  pages = {53-60},
  year = {1996},
  conference = {ECAI'96 workshop on APD -- Budapest (Hungary) -- August 12-16, 1996},
  abstract = {No abstract},
  hal-id = {hal-00731984},
  x-genre = {workshopInternational},
  x-language = {EN},
  x-international-audience = {Yes},
  x-country = {HU},
  x-town = {Budapest},
  x-timestamp = {2012-09-13},
  x-missing = {editor,isbn,pdf,publisher,url}
}