# A Decision Procedure for an Extensional Theory of Arrays

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://www.cs.nyu.edu/~barrett/pubs/SBDL01.pdf}
}


(This webpage was created with bibtex2web.)