Congruence for SOS with data | IEEE Conference Publication | IEEE Xplore