Temporal Reasoning in Logic Programming: A Case for the Situation Calculus.

Javier Pinto, Raymond Reiter

Browse the full ICLP paper archive.