Veanes, Margus Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-98-2-005.pdf (beliebiger Volltext), 315KB
Veanes, M.(1998). The relation between second-order unification and simultaneous rigid \sl E-unification (MPI-I-1998-2-005). Saarbrücken: Max-Planck-Institut für Informatik.