%0 Conference Paper %1 conf/cade/RousselM97 %A Roussel, Olivier %A Mathieu, Philippe %B CADE %D 1997 %E McCune, William %I Springer %K dblp %P 161-175 %T Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case. %U http://dblp.uni-trier.de/db/conf/cade/cade97.html#RousselM97 %V 1249 %@ 3-540-63104-6

@inproceedings{conf/cade/RousselM97, added-at = {2017-06-01T00:00:00.000+0200}, author = {Roussel, Olivier and Mathieu, Philippe}, biburl = {https://www.bibsonomy.org/bibtex/256cb24f32ad16fefc31a8b0c58b8ce07/dblp}, booktitle = {CADE}, crossref = {conf/cade/1997}, editor = {McCune, William}, ee = {https://doi.org/10.1007/3-540-63104-6_17}, interhash = {891657683c9abaeaf42d68a8ea3718e0}, intrahash = {56cb24f32ad16fefc31a8b0c58b8ce07}, isbn = {3-540-63104-6}, keywords = {dblp}, pages = {161-175}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:56:39.000+0200}, title = {Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade97.html#RousselM97}, volume = 1249, year = 1997 }