TY  - RPRT
TI  - Space Efficiency of Propositional Knowledge Representation Formalisms
AU  - M. Cadoli
AU  - F. M. Donini
AU  - P. Liberatore
AU  - M. Schaerf
PY  - 2011
DO  - 10.1613/jair.664
UR  - https://arxiv.org/abs/1106.0233
ID  - 1106.0233
ER  -