Miroslav N. Velev, Randal E. Bryant, Alok Jain. Efficient Modeling of Memory Arrays in Symbolic Simulation. In Orna Grumberg, editor, Computer Aided Verification, 9th International Conference, CAV 97, Haifa, Israel, June 22-25, 1997, Proceedings. Volume 1254 of Lecture Notes in Computer Science, pages 388-399, Springer, 1997.