@inproceedings{ DBLP:conf/kr/BacchusTK89,
  title = {A Non-Reified Temporal Logic}
}
,
  url = {BTKAIJ91.pdf}
}
,
  booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR-1989)}
}
,
  author = {Fahiem Bacchus and Josh D. Tenenberg and Johannes A. G. M. Koomen}
}
,
  area = {Knowledge Representation}
}
,
  year = {1989}
}
,
  bibsource = {DBLP http://dblp.uni-trier.de}
}
,
  pages = {2-10}
}