TY  - RPRT
TI  - Fracpairs and fractions over a reduced commutative ring
AU  - Jan A. Bergstra
AU  - Alban Ponse
PY  - 2016
DO  - 10.1016/j.indag.2016.01.007
UR  - https://arxiv.org/abs/1411.4410
ID  - 1411.4410
ER  -