The SUP-INF method in Presburger arithmetic,”, Memo ATP-18 (1974)

by W W Bledsoe