Poul Frederick Williams Henrik Reif Andersen Henrik Hulgaard Satisfiability Checking Using Boolean Expression Diagrams. 39-51 2001 conf/tacas/2001 TACAS http://link.springer.de/link/service/series/0558/bibs/2031/20310039.htm db/conf/tacas/tacas2001.html#WilliamsAH01