A Decision Procedure for an Extensional Theory of Arrays.

Aaron Stump, Clark W. Barrett, David L. Dill, Jeremy R. Levitt

Browse the full LICS paper archive.