Presburger’s article on integer arithmetic: Remarks and translation (1984)

by Ryan Stansifer