Maurizio Gabbrielli, Giovanna M. Dore, Giorgio Levi. Observable Semantics for Constraint Logic Programs. Journal of Logic and Computation, 5(2):133-171, 1995.
@article{GabbrielliDL95, title = {Observable Semantics for Constraint Logic Programs}, author = {Maurizio Gabbrielli and Giovanna M. Dore and Giorgio Levi}, year = {1995}, tags = {semantics, constraints, logic programming, logic}, researchr = {https://researchr.org/publication/GabbrielliDL95}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Computation}, volume = {5}, number = {2}, pages = {133-171}, }