TY - RPRT TI - Division by zero in non-involutive meadows AU - J. A. Bergstra AU - C. A. Middelburg PY - 2014 DO - 10.1016/j.jal.2014.10.001 UR - https://arxiv.org/abs/1406.2092 ID - 1406.2092 ER -