A Decision Procedure for an Extensional Theory of Arrays (2001)

by Aaron Stump, Clark W. Barrett, David L. Dill
Venue:In 16th IEEE Symposium on Logic in Computer Science