"Termination of Rule-Based Calculi for Uniform Semi-Unification."

Takahito Aoto, Munehiro Iwami (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics