"Tagged BDDs: Combining reduction rules from different decision diagram types."

Tom van Dijk, Robert Wille, Robert Meolic (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics