Bockmayr, Alexander Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dxDqG (Verlagsversion)
Bockmayr, A., & Werner, A. (1994). LSE Narrowing for Decreasing Conditional Term Rewrite Systems. In N. Dershowitz, & N. Lindenstrauss (Eds.), Conditional Term Rewriting Systems (pp. 51-70). Berlin, Germany: Springer.