[7] Alessandro Provetti, Hypothetical Reasoning about Actions: From Situation Calculus to Event Calculus, Computational Intelligence, volume 12, number 2, 1995.