The Computational Complexity of Logical Theories | doi.page