Socher-Ambrosius, Rolf Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-92-207.pdf (beliebiger Volltext), 62KB
Socher-Ambrosius, R.(1992). Semi-unification (MPI-I-92-207). Saarbrücken: Max-Planck-Institut für Informatik.