@misc{indiciae315612e33c57,
  title = {A Declarative Semantics for CLP with Qualification and Proximity},
  author = {Mario Rodríguez-Artalejo and Carlos A. Romero-Díaz},
  year = {2010},
  doi = {10.1017/s1471068410000323},
  url = {https://arxiv.org/abs/1007.3629},
  note = {Source identifier: 1007.3629}
}