Dana Smutná Peter Vojtás Graded many-valued resolution with aggregation. 157-168 2004 143 Fuzzy Sets and Systems 1 http://dx.doi.org/10.1016/j.fss.2003.06.010 db/journals/fss/fss143.html#SmutnaV04