Markoski B, Hotomski P, Malbaški D, Obradović D. Resolution methods in proving the program correctness. YUJOR [Internet]. 2007 Sep. 1 [cited 2025 Aug. 25];17(2):275-8. Available from: https://yujor.erc.fon.bg.ac.rs/index.php/yujor/article/view/229