Brandano, S. (1998) A Logic-Based Calculus of Fluents. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.