The Power of QDDs (1997)

by Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper