Kai Wöhl Zur Komplexität der Presburger Artihmetik und des Äquivalenzproblems einfacher Programme. 310-318 1979 conf/tcs/1979 Theoretical Computer Science db/conf/tcs/tcs1979.html#Wohl79 http://dx.doi.org/10.1007/3-540-09118-1_32