A. Silva, “Dynamic Logic: A Review”, AIMag, vol. 23, no. 1, p. 119, Mar. 2002.