"Verification of the Completeness of Unification Algorithms à la ..."

Andréia B. Avelar et al. (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics