%0 Journal Article %1 journals/tplp/Rodriguez-ArtalejoR10 %A Rodríguez-Artalejo, Mario %A Romero-Díaz, Carlos A. %D 2010 %J Theory Pract. Log. Program. %K dblp %N 4-6 %P 627-642 %T A declarative semantics for CLP with qualification and proximity. %U http://dblp.uni-trier.de/db/journals/tplp/tplp10.html#Rodriguez-ArtalejoR10 %V 10

@article{journals/tplp/Rodriguez-ArtalejoR10, added-at = {2020-02-13T00:00:00.000+0100}, author = {Rodríguez-Artalejo, Mario and Romero-Díaz, Carlos A.}, biburl = {https://www.bibsonomy.org/bibtex/2eefc6676f456506acea9fed91038d255/dblp}, ee = {https://doi.org/10.1017/S1471068410000323}, interhash = {e8b1d71c4f9a534ccaab21d26a9e3053}, intrahash = {eefc6676f456506acea9fed91038d255}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {4-6}, pages = {627-642}, timestamp = {2020-02-14T11:43:46.000+0100}, title = {A declarative semantics for CLP with qualification and proximity.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp10.html#Rodriguez-ArtalejoR10}, volume = 10, year = 2010 }