"Refinements to Depth-First Iterative-Deepening Search in Automatic Theorem ..."

Xumin Nie, David A. Plaisted (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics