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

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