Jeremy E. Dawson, Rajeev Goré. Termination of Abstract Reduction Systems. In Joachim Gudmundsson, C. Barry Jay, editors, Theory of Computing 2007. Proceedings of the Thirteenth Computing: The Australasian Theory Symposium (CATS2007). January 30 - Febuary 2, 2007, Ballarat, Victoria, Australia, Proceedings. Volume 65 of CRPIT, pages 35-43, Australian Computer Society, 2007. [doi]
Abstract is missing.