[1]
S. Ripon and A. Miller, “Verification of Symmetry Detection using PVS”, ECEASST, vol. 35, Apr. 2011.