A Simple Characterization of Uniform Boundedness for a Class of Recursions.

Jeffrey F. Naughton Yehoshua Sagiv A Simple Characterization of Uniform Boundedness for a Class of Recursions. 233-252 1991 10 J. Log. Program. 1/2/3&4 db/journals/jlp/jlp10.html#NaughtonS91