Federico Chesani Paola Mello Marco Montali Paolo Torroni Commitment Tracking via the Reactive Event Calculus. 91-96 2009 IJCAI http://ijcai.org/papers09/Papers/IJCAI09-026.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#ChesaniMMT09