Socher-Ambrosius, Rolf Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-93-217.pdf (Any fulltext), 105KB
Socher-Ambrosius, R.(1993). Unification of terms with exponents (MPI-I-93-217). Saarbrücken: Max-Planck-Institut für Informatik.