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 June 7, 2026. https://yujor.fon.bg.ac.rs/index.php/yujor/article/view/229.