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, }