TY  - RPRT
TI  - Cancellation Meadows: a Generic Basis Theorem and Some Applications
AU  - Jan A. Bergstra
AU  - Inge Bethke
AU  - Alban Ponse
PY  - 2013
DO  - 10.1093/comjnl/bxs028
UR  - https://arxiv.org/abs/0803.3969
ID  - 0803.3969
ER  -