BibTeX record conf/iclp/HentenryckD91

download as .bib file

@inproceedings{DBLP:conf/iclp/HentenryckD91,
  author       = {Pascal Van Hentenryck and
                  Yves Deville},
  editor       = {Koichi Furukawa},
  title        = {The Cardinality Operator: {A} New Logical Connective for Constraint
                  Logic Programming},
  booktitle    = {Logic Programming, Proceedings of the Eigth International Conference,
                  Paris, France, June 24-28, 1991},
  pages        = {745--759},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/HentenryckD91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics