"Two Results in Term Rewriting Theorem Proving."

Jieh Hsiang (1985)
a service of Schloss Dagstuhl - Leibniz Center for Informatics