The Sup-Inf method in Presburger arithmetic. Memo ATP18 (1974)

by W W Bledsoe