@TechReport{      Fischer:1974:SCP:889578,
  Author        = "Fischer, M. J. and Rabin, M. O.",
  Address       = "Cambridge, MA, USA",
  date-added    = "2013-07-15 09:39:00 +0000",
  date-modified = "2013-07-15 09:39:13 +0000",
  Publisher     = "Massachusetts Institute of Technology",
  source        = "http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai\%3Ancstrlh\%3Amitai\%3AMIT-LCS\%2F\%2FMIT\%2FLCS\%2FTM-43",
  Title         = "Super-exponential Complexity of Presburger Arithmetic",
  Year          = "1974",
  File          = "Super-exponential Complexity of Presburger Arithmetic - Fischer, Rabin (0) (0) - a - a - g.pdf"
}

@TechReport{ Fischer:1974:SCP:889578, Author = "Fischer, M. J. and Rabin, M. O.", Address = "Cambridge, MA, USA", date-added = "2013-07-15 09:39:00 +0000", date-modified = "2013-07-15 09:39:13 +0000", Publisher = "Massachusetts Institute of Technology", source = "http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai\%3Ancstrlh\%3Amitai\%3AMIT-LCS\%2F\%2FMIT\%2FLCS\%2FTM-43", Title = "Super-exponential Complexity of Presburger Arithmetic", Year = "1974", File = "Super-exponential Complexity of Presburger Arithmetic - Fischer, Rabin (0) (0) - a - a - g.pdf" }