DBLP BibTeX Record 'conf/aaai/CrawfordK91'

@inproceedings{DBLP:conf/aaai/CrawfordK91,
  author    = {James M. Crawford and
               Benjamin Kuipers},
  title     = {Negation and Proof by Contradiction in Access-Limited Logic},
  booktitle = {AAAI},
  year      = {1991},
  pages     = {897-903},
  ee        = {http://www.aaai.org/Library/AAAI/1991/aaai91-139.php},
  crossref  = {DBLP:conf/aaai/1991-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@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},
  booktitle = {AAAI},
  publisher = {AAAI Press / The MIT Press},
  year      = {1991},
  isbn      = {0-262-51059-6},
  ee        = {http://www.aaai.org/Conferences/AAAI/aaai91.php},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}