Marco Cadoli Francesco M. Donini Paolo Liberatore Marco Schaerf Space Efficiency of Propositional Knowledge Representation Formalisms. 1-31 2000 13 J. Artif. Intell. Res. (JAIR) http://www.cs.washington.edu/research/jair/abstracts/cadoli00a.html db/journals/jair/jair13.html#CadoliDLS00