@inproceedings{ Pint93,
  ps = {http://www.cs.toronto.edu/cogrobo/Papers/temporal.ps}
}
,
  title = {Temporal Reasoning in Logic Programming: A Case for the Situation Calculus}
}
,
  url = {temporal.pdf}
}
,
  booktitle = {Proc. of the 10th International Conference on Logic Programming}
}
,
  author = {Pinto, J. and Reiter, R.}
}
,
  year = {1993}
}
,
  month = {June}
}
,
  key = {CogRobo}
}
,
  address = {Budapest, Hungary}
}
,
  opturl = {http://www.cs.toronto.edu/cogrobo/Papers/temporal.ps.gz}
}
,
  pdf = {http://www.cs.toronto.edu/cogrobo/Papers/temporal.pdf}
}
,
  pages = {}
}