BibTeX record: conf/kr/BacchusTK89

download as .bib file

@inproceedings{DBLP:conf/kr/BacchusTK89,
  author    = {Fahiem Bacchus and
               Josh D. Tenenberg and
               Johannes A. G. M. Koomen},
  title     = {A Non-Reified Temporal Logic},
  booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
               Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989.},
  year      = {1989},
  pages     = {2--10},
  crossref  = {DBLP:conf/kr/1989},
  timestamp = {Thu, 18 Sep 2014 13:54:41 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/kr/BacchusTK89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/kr/1989,
  editor    = {Ronald J. Brachman and
               Hector J. Levesque and
               Raymond Reiter},
  title     = {Proceedings of the 1st International Conference on Principles of Knowledge
               Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
  year      = {1989},
  publisher = {Morgan Kaufmann},
  isbn      = {1-55860-032-9},
  timestamp = {Thu, 18 Sep 2014 13:54:41 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/kr/1989},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}