@inproceedings{cade14-exact,
  title = {Exact Knowledge Compilation in Predicate Calculus: the Partial Achievement Case},
  author = {Roussel, Olivier and Mathieu, Philippe},
  booktitle = {Proceedings of 14th International Conference on Automated Deduction (CADE'14)},
  pages = {161-175},
  year = {1997},
  series = {Lecture Notes in Artificial Intelligence},
  publisher = {Springer},
  isbn = {3-540-63104-6},
  conference = {CADE'14 -- Townsville (Australia) -- 1997},
  abstract = {No abstract},
  hal-id = {hal-00731972},
  x-genre = {conferenceInternationale},
  x-language = {EN},
  x-international-audience = {Yes},
  x-country = {AU},
  x-town = {Townsville},
  x-timestamp = {2012-09-13},
  x-missing = {editor,pdf,url}
}