Dirk Möller Janett Mohnke Michael Weber Detection of symmetry of Boolean functions represented by ROBDDs. 680-684 1993 conf/iccad/1993 ICCAD http://doi.acm.org/10.1145/259794.259902 db/conf/iccad/iccad1993.html#MollerMW93