"The use of types in designing unification algorithms: two case studies."

Serdar Erbatur, Santiago Escobar, Paliath Narendran (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics