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