B. Markoski, P. Hotomski, D. Malbaški, and D. Obradović, “Resolution methods in proving the program correctness”, YUJOR, vol. 17, no. 2, pp. 275–285, Sep. 2007.