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