Ripon, S.; Miller, A. Verification of Symmetry Detection Using PVS. eceasst 2011, 35.