Conference Proceedings

Solving partial order constraints for LPO termination

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

TERM REWRITING AND APPLICATIONS, PROCEEDINGS | SPRINGER-VERLAG BERLIN | Published : 2006