Journal article

Solving Partial Order Constraints for LPO Termination

undefined Codish, V LAGOON, P STUCKEY

Journal of Satisfiability, Boolean Modeling and Computation | Published : 2008