BibTeX record conf/iclp/Zhou98

download as .bib file

@inproceedings{DBLP:conf/iclp/Zhou98,
  author       = {Neng{-}Fa Zhou},
  editor       = {Joxan Jaffar},
  title        = {A High-Level Intermediate Language and the Algorithms for Compiling
                  Finite-Domain Constraints},
  booktitle    = {Proceedings of the 1998 Joint International Conference and Symposium
                  on Logic Programming, Manchester, UK, June 15-19, 1998},
  pages        = {70--84},
  publisher    = {{MIT} Press},
  year         = {1998},
  timestamp    = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Zhou98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics