TY  - RPRT
TI  - Meadows and the equational specification of division
AU  - J. A. Bergstra
AU  - Y. Hirshfeld
AU  - J. V. Tucker
PY  - 2009
DO  - 10.1016/j.tcs.2008.12015
UR  - https://arxiv.org/abs/0901.0823
ID  - 0901.0823
ER  -