TY  - RPRT
TI  - Removal of Quantifiers by Elimination of Boundary Points
AU  - Eugene Goldberg
AU  - Panagiotis Manolios
PY  - 2012
UR  - https://arxiv.org/abs/1204.1746
ID  - 1204.1746
ER  -