A new method for proving certain Presburger formulas (1975)

by W W Bledsoe
Venue:Fourth Intl. Joint Conference on AI, Tblisi, USSR