Alberto Finzi Fiora Pirri Representing Flexible Temporal Behaviors in the Situation Calculus. 436-441 2005 conf/ijcai/2005 IJCAI http://www.ijcai.org/papers/1562.pdf db/conf/ijcai/ijcai2005.html#FinziP05