Termination Analysis of CHR Revisited.

Paolo Pilozzi, Danny De Schreye

Browse the full ICLP paper archive.