Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
A declarative semantics for CLP with qualification and proximity
ICLP, 2010.
@article{ICLP-J-2010-Rodriguez-ArtalejoR,
author = "Mario Rodríguez-Artalejo and Carlos A. Romero-Díaz",
doi = "10.1017/S1471068410000323",
journal = "{Theory and Practice of Logic Programming}",
number = "4-6",
pages = "627--642",
title = "{A declarative semantics for CLP with qualification and proximity}",
volume = 10,
year = 2010,
}











