TY  - RPRT
TI  - Mathematical Theory Exploration in Theorema: Reduction Rings
AU  - Alexander Maletzky
PY  - 2016
DO  - 10.1007/978-3-319-42547-4_1
UR  - https://arxiv.org/abs/1602.04339
ID  - 1602.04339
ER  -