Conference Proceedings

Testing for termination with monotonicity constraints

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

LOGIC PROGRAMMING, PROCEEDINGS | SPRINGER-VERLAG BERLIN | Published : 2005