## Comparing Space Efficiency of Propositional Knowledge
Representation Formalisms

**Marco Cadoli, Francesco M. Donini, Paolo Liberatore, and
Marco Schaerf**
*Proceedings of the LICS-99 workshop on Complexity-theoretic
and Recursion-theoretic methods in Databases, Artificial
Intelligence and Finite Model Theory*

@inproceedings{cado-etal-99-c,
title = {Comparing Space Efficiency of Propositional Knowledge
Representation Formalisms},
year = {1999},
author = {Cadoli, Marco and Donini, Francesco M. and Liberatore,
Paolo and Schaerf, Marco},
booktitle = {Proceedings of the LICS-99 workshop on
Complexity-theoretic and Recursion-theoretic methods in
Databases, Artificial Intelligence and Finite Model Theory},
pages = {13-22},
}