Automatic inference of norms: A missing link in automatic termination analysis (1993)

by S Decorte, D D Schreye, M Fabris
Venue:In Proceedings of the 1993 International Symposium on Logic Programming