BibTeX record: conf/ijcai/KochL99

download as .bib file

@inproceedings{DBLP:conf/ijcai/KochL99,
  author    = {Christoph Koch and
               Nicola Leone},
  title     = {Stable Model Checking Made Easy.},
  booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial
               Intelligence, {IJCAI} 99, Stockholm, Sweden, July 31 - August 6, 1999.
               2 Volumes, 1450 pages},
  year      = {1999},
  pages     = {70--75},
  crossref  = {DBLP:conf/ijcai/99},
  timestamp = {Wed, 03 Sep 2014 09:16:42 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/KochL99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ijcai/99,
  editor    = {Thomas Dean},
  title     = {Proceedings of the Sixteenth International Joint Conference on Artificial
               Intelligence, {IJCAI} 99, Stockholm, Sweden, July 31 - August 6, 1999.
               2 Volumes, 1450 pages},
  year      = {1999},
  publisher = {Morgan Kaufmann},
  isbn      = {1-55860-613-0},
  timestamp = {Wed, 03 Sep 2014 09:16:42 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}