@article{ dblp4144305,
  title = {Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy},
  author = {Eugene Asarin and Oded Maler},
  author_short = {Asarin, E. and Maler, O.},
  bibtype = {article},
  type = {article},
  year = {1998},
  key = {dblp4144305},
  id = {dblp4144305},
  biburl = {http://www.dblp.org/rec/bibtex/journals/jcss/AsarinM98},
  url = {http://dx.doi.org/10.1006/jcss.1998.1601},
  journal = {J. Comput. Syst. Sci. (JCSS)},
  pages = {389-398},
  number = {3},
  volume = {57},
  text = {J. Comput. Syst. Sci. (JCSS) 57(3):389-398 (1998)}
}

{"_id":"yrjCLfebRaiE7uMEA","bibbaseid":"asarin-maler-achillesandthetortoiseclimbingupthearithmeticalhierarchy-1998","downloads":0,"creationDate":"2015-07-05T11:05:40.248Z","title":"Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy","author_short":["Asarin, E.","Maler, O."],"year":1998,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/jcss/AsarinM98","bibdata":{"title":"Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy","author":["Eugene Asarin","Oded Maler"],"author_short":["Asarin, E.","Maler, O."],"bibtype":"article","type":"article","year":"1998","key":"dblp4144305","id":"dblp4144305","biburl":"http://www.dblp.org/rec/bibtex/journals/jcss/AsarinM98","url":"http://dx.doi.org/10.1006/jcss.1998.1601","journal":"J. Comput. Syst. Sci. (JCSS)","pages":"389-398","number":"3","volume":"57","text":"J. Comput. Syst. Sci. (JCSS) 57(3):389-398 (1998)","bibtex":"@article{ dblp4144305,\n title = {Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy},\n author = {Eugene Asarin and Oded Maler},\n author_short = {Asarin, E. and Maler, O.},\n bibtype = {article},\n type = {article},\n year = {1998},\n key = {dblp4144305},\n id = {dblp4144305},\n biburl = {http://www.dblp.org/rec/bibtex/journals/jcss/AsarinM98},\n url = {http://dx.doi.org/10.1006/jcss.1998.1601},\n journal = {J. Comput. Syst. Sci. (JCSS)},\n pages = {389-398},\n number = {3},\n volume = {57},\n text = {J. Comput. Syst. Sci. (JCSS) 57(3):389-398 (1998)}\n}","bibbaseid":"asarin-maler-achillesandthetortoiseclimbingupthearithmeticalhierarchy-1998","role":"author","urls":{"Paper":"http://dx.doi.org/10.1006/jcss.1998.1601"},"downloads":0},"search_terms":["achilles","tortoise","climbing","arithmetical","hierarchy","asarin","maler"],"keywords":[],"authorIDs":[],"dataSources":["8RKWnYmmeLRxQffcr"]}