TY  - RPRT
TI  - Interpreting formulas of divisible lattice ordered abelian groups
AU  - Marcus Tressl
PY  - 2016
UR  - https://arxiv.org/abs/1609.07522
ID  - 1609.07522
ER  -