Bockmayr, Alexander Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dxDqG (出版社版)
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.