Pascal Fontaine E. Pascal Gribomont Using BDDs with Combinations of Theories. 190-201 2002 conf/lpar/2002 LPAR http://link.springer.de/link/service/series/0558/bibs/2514/25140190.htm db/conf/lpar/lpar2002.html#FontaineG02