BibTeX record conf/iclp/ShimajiriSI97

download as .bib file

@inproceedings{DBLP:conf/iclp/ShimajiriSI97,
  author    = {Yuka Shimajiri and
               Hirohisa Seki and
               Hidenori Itoh},
  title     = {Incorporating a Pruning Strategy into the Computation of Stable Models
               based on {MGTP}},
  booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
               on Logic Programming, Leuven, Belgium, July 8-11, 1997},
  pages     = {376--390},
  year      = {1997},
  crossref  = {DBLP:conf/iclp/1997},
  timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/ShimajiriSI97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1997,
  editor    = {Lee Naish},
  title     = {Logic Programming, Proceedings of the Fourteenth International Conference
               on Logic Programming, Leuven, Belgium, July 8-11, 1997},
  publisher = {{MIT} Press},
  year      = {1997},
  isbn      = {0-262-64035-X},
  timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics