Improved Termination Analysis of CHR Using Self-sustainability Analysis.

Paolo Pilozzi, Danny De Schreye

Browse the full LOPSTR paper archive.