A new method for proving certain Presburger formulas Advance (1975)

by W W BLEDSOE
Venue:Papers, 4th Int Jomt Conf on Artificial Intelligence