@misc{indiciaeffd4c067ac77,
  title = {Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting},
  author = {Matthew England and David Wilson and Russell Bradford and James H. Davenport},
  year = {2014},
  doi = {10.1007/978-3-662-44199-2\_69},
  url = {https://arxiv.org/abs/1405.6090},
  note = {Source identifier: 1405.6090}
}