DBLP BibTeX Record 'conf/kr/BacchusTK89'

@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 = {KR},
  year      = {1989},
  pages     = {2-10},
  crossref  = {DBLP:conf/kr/1989},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@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},
  booktitle = {KR},
  publisher = {Morgan Kaufmann},
  year      = {1989},
  isbn      = {1-55860-032-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}