"Term Rewriting in Contemporary Resolution Theorem Proving (Abstract)."

Mark E. Stickel (1995)
a service of Schloss Dagstuhl - Leibniz Center for Informatics