Neil Kettle Andy King An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs. 764-777 2008 27 IEEE Trans. on CAD of Integrated Circuits and Systems 4 http://dx.doi.org/10.1109/TCAD.2008.917592 db/journals/tcad/tcad27.html#KettleK08