Zbigniew Stachniak Anton Belov Weighting strategy for non-clausal resolution. 61-78 2008 20 J. Exp. Theor. Artif. Intell. 1 http://dx.doi.org/10.1080/09528130701475617 db/journals/jetai/jetai20.html#StachniakB08