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