Title: Relative complexities of first order calculi
Subjects: Artificial intelligence, Automatic theorem proving, Computational complexity