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