Silva, Andres. “Dynamic Logic: A Review”. AI Magazine 23, no. 1 (March 15, 2002): 119. Accessed September 20, 2020. https://www.aaai.org/ojs/index.php/aimagazine/article/view/1616.