"Higher-Order Polymorphic Unification for Logic Programming."

Luís Caires, Luís Monteiro (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics