Conference Proceedings

Testing for termination with monotonicity constraints

M Codish, V Lagoon, PJ Stuckey, M Gabbrielli, G Gupta

Proceedings of the International Conference on Logic Programming | SPRINGER-VERLAG BERLIN | Published : 2005