Satoshi Menju Kô Sakai Yosuke Sato Akira Aiba A Study on Boolean Constraint Solvers. 253-267 1991 WCLP db/conf/wclp/wclp91.html#MenjuSSA91