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