TY  - RPRT
TI  - Straight-line instruction sequence completeness for total calculation on cancellation meadows
AU  - Jan A. Bergstra
AU  - Inge Bethke
PY  - 2009
UR  - https://arxiv.org/abs/0905.4612
ID  - 0905.4612
ER  -