Conference Proceedings

Solving partial order constraints for LPO termination

Michael Codish, Vitaly Lagoon, Peter J Stuckey, F Pfenning

Journal of Satisfiability, Boolean Modeling and Computation, 5:193-215: 2008 | SPRINGER-VERLAG BERLIN | Published : 2006