TY  - RPRT
TI  - Generating geometry axioms from poset axioms
AU  - Wolfram Retter
PY  - 2014
UR  - https://arxiv.org/abs/1401.3821
ID  - 1401.3821
ER  -