TY  - RPRT
TI  - Recursive axiomatizations for representable posets
AU  - Rob Egrot
PY  - 2019
DO  - 10.1142/s021819671950022x
UR  - https://arxiv.org/abs/1806.08328
ID  - 1806.08328
ER  -