Automating Termination Proofs for CHR.

Paolo Pilozzi, Danny De Schreye

Browse the full ICLP paper archive.