Title: Efficiency of Theorem Proving Strategies
Subjects: Artificial intelligence