"Reducing BDD Size by Exploiting Functional Dependencies."

Alan J. Hu, David L. Dill (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics