author = { Schöning, Uwe Universität Ulm Fakultät für Informatik },

title = { Complexity of Presburger arithmetic with fixed quantifier dimension },

publisher = {Univ., Fak. für Informatik},

keywords = { Computational complexity },

year = {1995},

booktitle = {Ulmer Informatik-Berichte ; 95,02},

address = { Ulm },

url = { http://slubdd.de/katalog?TN_libero_mab2 }