BibTeX record conf/iclp/WakakiS95

download as .bib file

@inproceedings{DBLP:conf/iclp/WakakiS95,
  author    = {Toshiko Wakaki and
               Ken Satoh},
  title     = {Computing Prioritized Circumscription by Logic Programming},
  booktitle = {Logic Programming, Proceedings of the Twelfth International Conference
               on Logic Programming, Tokyo, Japan, June 13-16, 1995},
  pages     = {283--297},
  year      = {1995},
  crossref  = {DBLP:conf/iclp/1995},
  timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/WakakiS95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1995,
  editor    = {Leon Sterling},
  title     = {Logic Programming, Proceedings of the Twelfth International Conference
               on Logic Programming, Tokyo, Japan, June 13-16, 1995},
  publisher = {{MIT} Press},
  year      = {1995},
  isbn      = {0-262-69177-9},
  timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier