On maximal QROBDD's of Boolean functions Jean-Francis Michon, Jean-Baptiste Yunès and Pierre Valarcher RAIRO-Theor. Inf. Appl., 39 4 (2005) 677-686 Published online: 15 October 2005 DOI: 10.1051/ita:2005036