Testing for Termination with Monotonicity Constraints.

Michael Codish, Vitaly Lagoon, Peter J. Stuckey

Browse the full ICLP paper archive.