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.)