Proving Termination by Invariance Relations.

Paolo Pilozzi, Danny De Schreye

Browse the full ICLP paper archive.