“A Decision Procedure for an Extensional Theory of Arrays” by Aaron Stump, Clark W. Barrett, David L. Dill, and Jeremy Levitt. In Proceedings of the 16^th IEEE Symposium on Logic in Computer Science (LICS '01), June 2001, pp. 29-37. Boston, Massachusetts.
BibTeX entry:
@inproceedings{SBDL01,
author = {Aaron Stump and Clark W. Barrett and David L. Dill and Jeremy
Levitt},
title = {A Decision Procedure for an Extensional Theory of Arrays},
booktitle = {Proceedings of the {\it 16^{th}} IEEE Symposium on Logic
in Computer Science (LICS '01)},
pages = {29--37},
publisher = {IEEE Computer Society},
month = jun,
year = {2001},
note = {Boston, Massachusetts},
url = {http://theory.stanford.edu/~barrett/pubs/SBDL01.pdf}
}
(This webpage was created with bibtex2web.)