Bockmayr, Alexander Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-93-233.pdf (beliebiger Volltext), 195KB
Bockmayr, A., Krischer, S., & Werner, A.(1993). Narrowing strategies for arbitrary canonical rewrite systems (MPI-I-93-233). Saarbrücken: Max-Planck-Institut für Informatik.