TY  - RPRT
TI  - Equations for formally real meadows
AU  - Jan A. Bergstra
AU  - Inge Bethke
AU  - Alban Ponse
PY  - 2015
UR  - https://arxiv.org/abs/1310.5011
ID  - 1310.5011
ER  -