Albert Atserias Víctor Dalmau A combinatorial characterization of resolution width. 323-334 2008 74 J. Comput. Syst. Sci. 3 http://dx.doi.org/10.1016/j.jcss.2007.06.025 db/journals/jcss/jcss74.html#AtseriasD08