TY  - RPRT
TI  - A Declarative Semantics for CLP with Qualification and Proximity
AU  - Mario Rodríguez-Artalejo
AU  - Carlos A. Romero-Díaz
PY  - 2010
DO  - 10.1017/s1471068410000323
UR  - https://arxiv.org/abs/1007.3629
ID  - 1007.3629
ER  -