%0 Journal Article %1 journals/jsyml/Halpern91 %A Halpern, Joseph Y. %D 1991 %J J. Symb. Log. %K dblp %N 2 %P 637-642 %T Presburger Arithmetic with Unarr Predicates is Pi11 Complete. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml56.html#Halpern91 %V 56

@article{journals/jsyml/Halpern91, added-at = {2014-08-05T00:00:00.000+0200}, author = {Halpern, Joseph Y.}, biburl = {https://www.bibsonomy.org/bibtex/2ef8eab74f213c8be05dc601b87e7ccff/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183743663}, interhash = {bfa71ac772ed638afcf456576a3245f3}, intrahash = {ef8eab74f213c8be05dc601b87e7ccff}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 2, pages = {637-642}, timestamp = {2015-06-18T02:36:03.000+0200}, title = {Presburger Arithmetic with Unarr Predicates is Pi11 Complete.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml56.html#Halpern91}, volume = 56, year = 1991 }