Socher-Ambrosius, Rolf Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-93-237.pdf (beliebiger Volltext), 150KB
Socher-Ambrosius, R.(1993). A refined version of general E-unification (MPI-I-93-237). Saarbrücken: Max-Planck-Institut für Informatik.