TY  - RPRT
TI  - Fixpoint & Proof-theoretic Semantics for CLP with Qualification and Proximity
AU  - Mario Rodríguez-Artalejo
AU  - Carlos A. Romero-Díaz
PY  - 2011
UR  - https://arxiv.org/abs/1009.1977
ID  - 1009.1977
ER  -