Space efficiency of propositional knowledge representation formalisms (0)

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