PintoR93'

BibTeX

@inproceedings{DBLP:conf/iclp/PintoR93,
  author    = {Javier Pinto and
               Raymond Reiter},
  title     = {Temporal Reasoning in Logic Programming: A Case for the
               Situation Calculus},
  booktitle = {ICLP},
  year      = {1993},
  pages     = {203-221},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}