Markoski, Branko, et al. “Resolution Methods in Proving the Program Correctness”. Yugoslav Journal of Operations Research, vol. 17, no. 2, Sept. 2007, pp. 275-8, doi:10.2298/YJOR0702275M.