Dusan Guller Binary resolution over Boolean lattices. 2100-2127 2006 157 Fuzzy Sets and Systems 15 http://dx.doi.org/10.1016/j.fss.2006.02.010 db/journals/fss/fss157.html#Guller06