Weidenbach, Christoph Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-93-211.pdf (beliebiger Volltext), 183KB
Weidenbach, C.(1993). Unification in sort theories and its applications (MPI-I-93-211). Saarbrücken: Max-Planck-Institut für Informatik.