Markoski, Branko, Petar Hotomski, Dušan Malbaški, and Danilo Obradović. “Resolution Methods in Proving the Program Correctness”. Yugoslav Journal of Operations Research 17, no. 2 (September 1, 2007): 275–285. Accessed August 25, 2025. https://yujor.erc.fon.bg.ac.rs/index.php/yujor/article/view/229.