Bockmayr, Alexander Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-93-233.pdf (全文テキスト(全般)), 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.