A decision procedure for an extensional theory of arrays | IEEE Conference Publication | IEEE Xplore