Solving partial order constraints for LPO termination (0)

by M Codish, V Lagoon, P Stuckey
Venue:Journal on Satisfiability, Boolean Modeling and Computation (JSAT