"On Fairness of Completion-Based Theorem Proving Strategies."

Maria Paola Bonacina, Jieh Hsiang (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics