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