Markoski, B.; Hotomski, P.; Malbaški, D.; Obradović, D. Resolution Methods in Proving the Program Correctness. YUJOR 2007, 17, 275-285.