Bockmayr, Alexander Programming Logics, MPI for Informatics, Max Planck Society;
Bockmayr, A., Krischer, S., & Werner, A. (1995). Narrowing Strategies for Arbitrary Canonical Rewrite Systems. Fundamenta Informaticae, 24(1-2), 125-155. doi:10.3233/FI-1995-24126.