@misc{indiciae38903568c1e2,
  title = {Lazard-style CAD and Equational Constraints},
  author = {James H. Davenport and Akshar S. Nair and Gregory K. Sankaran and Ali K. Uncu},
  year = {2023},
  doi = {10.1145/3597066.3597090},
  url = {https://arxiv.org/abs/2302.05813},
  note = {Source identifier: 2302.05813}
}