TY  - RPRT
TI  - Quantifier Elimination for Statistical Problems
AU  - Dan Geiger
AU  - Christopher Meek
PY  - 2013
UR  - https://arxiv.org/abs/1301.6698
ID  - 1301.6698
ER  -