Hiding propositional constants in BDDs.
scientific article; zbMATH DE number 5477975