BibTeX record conf/ecai/GenissonJ96

download as .bib file

@inproceedings{DBLP:conf/ecai/GenissonJ96,
  author    = {Richard G{\'{e}}nisson and
               Philippe J{\'{e}}gou},
  title     = {Davis and Putnam were Already Checking Forward},
  booktitle = {12th European Conference on Artificial Intelligence, Budapest, Hungary,
               August 11-16, 1996, Proceedings},
  pages     = {180--184},
  year      = {1996},
  crossref  = {DBLP:conf/ecai/1996},
  timestamp = {Thu, 03 Jan 2002 11:56:54 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ecai/GenissonJ96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ecai/1996,
  editor    = {Wolfgang Wahlster},
  title     = {12th European Conference on Artificial Intelligence, Budapest, Hungary,
               August 11-16, 1996, Proceedings},
  publisher = {John Wiley and Sons, Chichester},
  year      = {1996},
  timestamp = {Thu, 03 Jan 2002 11:56:53 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ecai/1996},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}