@misc{indiciae194d9ff65511,
  title = {Validity proof of Lazard's method for CAD construction},
  author = {Scott McCallum and Adam Parusinski and Laurentiu Paunescu},
  year = {2017},
  url = {https://arxiv.org/abs/1607.00264},
  note = {Source identifier: 1607.00264}
}