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