"Understanding Higher Order Unification via Explicit Substitutions and ..."

Flávio L. C. de Moura (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics