P.: Solving partial order constraints for LPO termination (2006)

by M Codish, V Lagoon, Stuckey
Venue:In: Proc. 17th International Conference on Rewriting Techniques and Applications. LNCS