"Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting."

Heinrich Hußmann (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics