Semirigid equivalence relations - a new proof method | IEEE Conference Publication | IEEE Xplore