"An Overview of the Tecton Proof System."

Deepak Kapur, Xumin Nie, David R. Musser (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics