A completeness criterion for semi-affine algebras | IEEE Conference Publication | IEEE Xplore