@misc{indiciaeb8937d618c1a,
  title = {Interpreting formulas of divisible lattice ordered abelian groups},
  author = {Marcus Tressl},
  year = {2016},
  url = {https://arxiv.org/abs/1609.07522},
  note = {Source identifier: 1609.07522}
}