On maximal QROBDD's of Boolean functionsJean-Francis Michon, Jean-Baptiste Yunès and Pierre ValarcherRAIRO-Theor. Inf. Appl., 39 4 (2005) 677-686DOI: https://doi.org/10.1051/ita:2005036
