Techniques for formal transformations of binary decision diagrams. - Giora Kolotov; Ilya Levin; Vladimir Ostrovsky (ICECS, 2004)