Automatic Inference of Norms: a Missing Link in Automatic Termination Analysis (1993)

by S Decorte, D De Schreye, M Fabris
Venue:Proc. 1993 Int'l Symposium on Logic Programming