What’s decidable about arrays (2006)

by Aaron R Bradley, Zohar Manna, Henny B Sipma
Venue:In Proc. of VMCAI, volume 3855 of LNCS