@misc{indiciaef0a4e0fb4523,
  title = {Summer Research Report: Towards Incremental Lazard Cylindrical Algebraic Decomposition},
  author = {Alexander I. Cowen-Rivers and Matthew England},
  year = {2018},
  url = {https://arxiv.org/abs/1804.08564},
  note = {Source identifier: 1804.08564}
}