BibTeX record: conf/aaai/CrawfordK91

download as .bib file

@inproceedings{DBLP:conf/aaai/CrawfordK91,
  author    = {James M. Crawford and
               Benjamin Kuipers},
  title     = {Negation and Proof by Contradiction in Access-Limited Logic},
  booktitle = {Proceedings of the 9th National Conference on Artificial Intelligence,
               Anaheim, CA, USA, July 14-19, 1991, Volume 2.},
  year      = {1991},
  pages     = {897--903},
  crossref  = {DBLP:conf/aaai/1991-2},
  url       = {http://www.aaai.org/Library/AAAI/1991/aaai91-139.php},
  timestamp = {Sat, 25 Oct 2014 03:05:55 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aaai/CrawfordK91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aaai/1991-2,
  editor    = {Thomas L. Dean and
               Kathleen McKeown},
  title     = {Proceedings of the 9th National Conference on Artificial Intelligence,
               Anaheim, CA, USA, July 14-19, 1991, Volume 2},
  year      = {1991},
  publisher = {{AAAI} Press / The {MIT} Press},
  url       = {http://www.aaai.org/Conferences/AAAI/aaai91.php},
  isbn      = {0-262-51059-6},
  timestamp = {Sat, 25 Oct 2014 03:05:55 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aaai/1991-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}