Munehiro Iwami. Persistence of Termination for Term Rewriting Systems with Ordered Sorts. In M. H. Hamza, editor, IASTED International Conference on Artificial Intelligence and Applications, part of the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 14-16, 2005. pages 674-679, IASTED/ACTA Press, 2005.
Abstract is missing.