Title: The efficiency of theorem proving strategies
First published: 1997
Subjects: Automatic theorem proving
LC classification: QA76.9.A96 P553 1997