Tomás E. Uribe Mark E. Stickel Ordered Binary Decision Diagrams and the Davis-Putnam Procedure. 34-49 1994 conf/ccl/1994 CCL db/conf/ccl/ccl94.html#UribeS94