TY  - RPRT
TI  - Extensions of the Cylindrical Algebraic Covering Method for Quantifiers
AU  - Jasper Nalbach
AU  - Gereon Kremer
PY  - 2025
UR  - https://arxiv.org/abs/2411.03070
ID  - 2411.03070
ER  -