"The Tecton Proof System."

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