BibTeX record conf/flops/CraigL04

download as .bib file

@inproceedings{DBLP:conf/flops/CraigL04,
  author    = {Stephen{-}John Craig and
               Michael Leuschel},
  title     = {{LIX:} an Effective Self-applicable Partial Evaluator for Prolog},
  booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
               2004, Nara, Japan, April 7-9, 2004, Proceedings},
  pages     = {85--99},
  year      = {2004},
  crossref  = {DBLP:conf/flops/2004},
  url       = {https://doi.org/10.1007/978-3-540-24754-8\_8},
  doi       = {10.1007/978-3-540-24754-8\_8},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flops/CraigL04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2004,
  editor    = {Yukiyoshi Kameyama and
               Peter J. Stuckey},
  title     = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
               2004, Nara, Japan, April 7-9, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2998},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b96926},
  doi       = {10.1007/b96926},
  isbn      = {3-540-21402-X},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flops/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics