Hans Zantema, Alfons Geser. A Complete Characterization of Termination of O:::p::: 1:::q::: -> 1:::r::: O:::s:::. In Jieh Hsiang, editor, Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings. Volume 914 of Lecture Notes in Computer Science, pages 41-55, Springer, 1995.
Abstract is missing.