Hiding propositional constants in BDDs by J.F. Groote