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