The Sup-Inf Method in Presburger Arithmetic. Memo ATP-18 (1974)

by W W Bledsoe