## Pascal Van Hentenryck, Yves Deville

*Operational Semantics of Constraint Logic Programming over Finite Domains*

PPDP, 1991.

@inproceedings{PLILP-1991-HentenryckD, author = "Pascal Van Hentenryck and Yves Deville", booktitle = "{Proceedings of the Third International Symposium on Programming Language Implementation and Logic Programming}", doi = "10.1007/3-540-54444-5_115", isbn = "3-540-54444-5", pages = "395--406", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Operational Semantics of Constraint Logic Programming over Finite Domains}", volume = 528, year = 1991, }