Guoqiang Pan Ulrike Sattler Moshe Y. Vardi BDD-Based Decision Procedures for K. 16-30 2002 conf/cade/2002 CADE http://link.springer.de/link/service/series/0558/bibs/2392/23920016.htm db/conf/cade/cade2002.html#PanSV02