Space efficiency of propositional knowledge representation formalisms, (2000)

by M Cadoli, F M Donini, P Liberatore, M Schaerf
Venue:Journal of Artificial Intelligence Research (JAIR)