"The Power of QDDs (Extended Abstract)."

Bernard Boigelot et al. (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics