@misc{indiciae90b9d1e4d02a,
  title = {Recurrence with affine level mappings is P-time decidable for CLP(R)},
  author = {Fred Mesnard and Alexander Serebrenik},
  year = {2007},
  url = {https://arxiv.org/abs/cs/0701082},
  note = {Source identifier: cs/0701082}
}