@inproceedings{SDBL01,
  author    = "Aaron Stump and David L. Dill and Clark W. Barrett and Jeremy Levitt",
  title     = "A Decision Procedure for an Extensional Theory of Arrays",
  booktitle = "Proceedings of the $16^{th}$ IEEE Symposium on Logic in Computer Science (LICS '01)",
  publisher = "IEEE Computer Society",
  pages     = "29--37",
  month     = jun,
  year      = 2001,
  note      = "Boston, Massachusetts"
}