Bockmayr, A., & Werner, A. (1995). LSE narrowing for decreasing conditional term rewrite systems. In N., Dershowitz, & N., Lindenstrauss (Eds.), Conditional Term Rewriting Systems CTRS'94 (pp. 51-70). Berlin, Germany: Springer.