%0 Conference Paper %1 conf/kr/CadoliDLS96 %A Cadoli, Marco %A Donini, Francesco M. %A Liberatore, Paolo %A Schaerf, Marco %B KR %D 1996 %E Aiello, Luigia Carlucci %E Doyle, Jon %E Shapiro, Stuart C. %I Morgan Kaufmann %K dblp %P 364-373 %T Comparing Space Efficiency of Propositional Knowledge Representation Formalisms. %U http://dblp.uni-trier.de/db/conf/kr/kr96.html#CadoliDLS96 %@ 1-55860-421-9

@inproceedings{conf/kr/CadoliDLS96, added-at = {2012-05-18T00:00:00.000+0200}, author = {Cadoli, Marco and Donini, Francesco M. and Liberatore, Paolo and Schaerf, Marco}, biburl = {https://www.bibsonomy.org/bibtex/245162a816a9a6633984e3610837e2b0b/dblp}, booktitle = {KR}, crossref = {conf/kr/1996}, editor = {Aiello, Luigia Carlucci and Doyle, Jon and Shapiro, Stuart C.}, interhash = {46daab0b3fd6ce778627645d64309003}, intrahash = {45162a816a9a6633984e3610837e2b0b}, isbn = {1-55860-421-9}, keywords = {dblp}, pages = {364-373}, publisher = {Morgan Kaufmann}, timestamp = {2012-05-19T11:40:02.000+0200}, title = {Comparing Space Efficiency of Propositional Knowledge Representation Formalisms.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr96.html#CadoliDLS96}, year = 1996 }