Space Efficiency of Propositional Knowledge Representation Formalisms

Open in new window