The Sup-Inf method in Presburger arithmetic (1974)

by W Bledsoe