Space Complexity in Propositional Calculus
scientific article