@InProceedings{cade13-new,
  x-todo =                   {editor,volume,url},
  author =                   {Roussel, Olivier and Mathieu, Philippe},
  title =                    {A New Method for Knowledge Compilation: The Achievement by Cycle Search},
  booktitle =                {Proceedings of the 13th International Conference on Automated Deduction (CADE'13)},
  year =                     {1996},
  editor =                   {McRobbie, Michael A. and Slaney, John K.},
  volume =                   {1104},
  series =                   {Lecture Notes in Artificial Intelligence},
  pages =                    {493-507},
  publisher =                {Springer},
  conference =               {CADE'13 -- New Brunswick (USA) -- 1996},
  genre =                    {conferenceInternationale},
  x-language =               {EN},
  x-international-audience = {Yes},
  x-country =                {US},
  abstract =                 {No abstract}
}