Bernard Boigelot Patrice Godefroid Bernard Willems Pierre Wolper The Power of QDDs (Extended Abstract). 172-186 1997 conf/sas/1997 SAS db/conf/sas/sas97.html#BoigelotGWW97