@misc{indiciaeb4408bf42ef4,
  title = {Cancellation Meadows: a Generic Basis Theorem and Some Applications},
  author = {Jan A. Bergstra and Inge Bethke and Alban Ponse},
  year = {2013},
  doi = {10.1093/comjnl/bxs028},
  url = {https://arxiv.org/abs/0803.3969},
  note = {Source identifier: 0803.3969}
}