A new method for proving certain Presburger formulas (1975)

by W Bledsoe
Venue:In Proc. of the 4 th Joint Conf. on Artificial Intelligence