J.R.: A decision procedure for an extensional theory of arrays. In: (2001)

by A Stump, C W Barrett, D L Dill, Levitt
Venue:LICS,