Silva, A. “Dynamic Logic: A Review”. AI Magazine, Vol. 23, no. 1, Mar. 2002, p. 119, doi:10.1609/aimag.v23i1.1616.