Two-stage exact detection of symmetries | IEEE Conference Publication | IEEE Xplore