TY  - RPRT
TI  - Linear extensions of partial orders and Reverse Mathematics
AU  - Emanuele Frittaion
AU  - Alberto Marcone
PY  - 2012
DO  - 10.1002/malq.201200025
UR  - https://arxiv.org/abs/1203.5207
ID  - 1203.5207
ER  -