BibTeX record conf/iclp/Miller91a

download as .bib file

@inproceedings{DBLP:conf/iclp/Miller91a,
  author       = {Dale Miller},
  editor       = {Koichi Furukawa},
  title        = {Logics for Logic Programming: {A} Tutorial},
  booktitle    = {Logic Programming, Proceedings of the Eigth International Conference,
                  Paris, France, June 24-28, 1991},
  pages        = {911},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Sun, 12 Nov 2017 16:01:30 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Miller91a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics