Michael Codish Vitaly Lagoon Peter J. Stuckey Solving Partial Order Constraints for LPO Termination. 4-18 2006 conf/rta/2006 RTA http://dx.doi.org/10.1007/11805618_2 db/conf/rta/rta2006.html#CodishLS06