Henrik Brosenne Matthias Homeister Stephan Waack Characterizing the Complexity of Boolean Functions represented by Well-Structured Graph-Driven Parity-FBDDs. 229-247 2002 36 ITA 3 http://dx.doi.org/10.1051/ita:2002011 db/journals/ita/ita36.html#BrosenneHW02