"Combining Unification Algorithms for Confined Regular Equational Theories."

Katherine A. Yelick (1985)
a service of Schloss Dagstuhl - Leibniz Center for Informatics