BibTeX record conf/ecai/EngelfrietT96

download as .bib file

@inproceedings{DBLP:conf/ecai/EngelfrietT96,
  author    = {Joeri Engelfriet and
               Jan Treur},
  title     = {Semantics for Default Logic based on Specific Branching Time Models},
  booktitle = {12th European Conference on Artificial Intelligence, Budapest, Hungary,
               August 11-16, 1996, Proceedings},
  pages     = {60--64},
  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/EngelfrietT96},
  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}
}