@phdthesis{ Pinto94-Phd,
  ps = {http://www.cs.toronto.edu/cogrobo/Papers/jpThesis.ps}
}
,
  school = {Department of Computer Science, University of Toronto}
}
,
  title = {Temporal Reasoning in the Situation Calculus}
}
,
  url = {jpThesis.pdf}
}
,
  author = {Pinto, Javier}
}
,
  year = {1994}
}
,
  month = {January}
}
,
  key = {CogRobo}
}
,
  address = {Toronto, Canada}
}
,
  opturl = {http://www.cs.toronto.edu/cogrobo/Papers/jpThesis.ps.gz}
}
,
  pdf = {http://www.cs.toronto.edu/cogrobo/Papers/jpThesis.pdf}
}