Higher Order Unification via Explicit Substitutions
Dowek, Gilles ; Hardin, Thérèse ; Kirchner, Claude
Information and computation, 2000-02, Vol.157 (1-2), p.183-235
[Periódico revisado por pares]
San Diego, CA: Elsevier Inc
Texto completo disponível