Hitoshi Ohsaki, Aart Middeldorp, Jürgen Giesl. Equational Termination by Semantic Labelling. In Peter Clote, Helmut Schwichtenberg, editors, Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings. Volume 1862 of Lecture Notes in Computer Science, pages 457-471, Springer, 2000. [doi]
Abstract is missing.