Michael Codish, Vitaly Lagoon, Peter J. Stuckey. Solving Partial Order Constraints for LPO Termination. In Frank Pfenning, editor, Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings. Volume 4098 of Lecture Notes in Computer Science, pages 4-18, Springer, 2006. [doi]
Abstract is missing.