@Article{ABA:01:SICOMP,
  author =       "Amir M. Ben-Amram and Zvi Galil",
  title =        "Topological Lower Bounds on Algebraic Random Access
                 Machines",
  journal =      "SIAM J. Comput.",
  volume =       "31",
  pages =        "722--761",
  year =         "2001",
  keywords =     "lower bounds, algebraic random access machines,
                 real-number RAM, algebraic computation tree",
  summary =      "The method of proving lower bounds for decision
                 problems by topological component counting, previously
                 used with respect to algebraic computation trees, is
                 extended in this work to random access machines with
                 operations $\{+,-,\times,/\}$ or
                 $\{+,-,\times,\lfloor\;\rfloor\}$."
}