Víctor Dalmau Justin Pearson Closure Functions and Width 1 Problems. 159-173 1999 conf/cp/1999 CP db/conf/cp/cp99.html#DalmauP99