A Computer Program for Presburger’s Algorithm. In: Summary of talks presented at the (1957)

by M Davis