Space Efficiency of Propositional Knowledge Representation Formalisms

Journal of Artificial Intelligence Research

 @article{cado-etal-00,
 title = {Space Efficiency of Propositional Knowledge Representation Formalisms},
 year = {2000},
 author = {Cadoli, Marco and Donini, Francesco M. and Liberatore, Paolo and
 Schaerf, Marco},
 journal = {Journal of Artificial Intelligence Research},
 pages = {1-31},
 volume = {13},
 }