Dusan Guller On the refutational completeness of signed binary resolution and hyperresolution. 1162-1176 2009 160 Fuzzy Sets and Systems 8 http://dx.doi.org/10.1016/j.fss.2008.05.011 db/journals/fss/fss160.html#Guller09