Return to Article Details Space Efficiency of Propositional Knowledge Representation Formalisms Download Download PDF