"Solving Partial Order Constraints for LPO Termination."

Michael Codish, Vitaly Lagoon, Peter J. Stuckey (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics