Nachum Dershowitz Jieh Hsiang Guan-Shieng Huang Daher Kaiss Boolean Rings for Intersection-Based Satisfiability. 482-496 2006 conf/lpar/2006 LPAR http://dx.doi.org/10.1007/11916277_33 db/conf/lpar/lpar2006.html#DershowitzHHK06