@inproceedings{SBDL01,
author= "A. Stump and C. Barrett and D. Dill and J. Levitt",
title={{A Decision Procedure for an Extensional Theory of Arrays}},
booktitle="16th IEEE Symposium on Logic in Computer Science",
Publisher="IEEE Computer Society",
pages="29-37",
year = 2001
}