Shuvendu K. Lahiri, Randal E. Bryant. Predicate abstraction with indexed predicates. ACM Trans. Comput. Log., 9(1):4, 2007. [doi]
@article{LahiriB07, title = {Predicate abstraction with indexed predicates}, author = {Shuvendu K. Lahiri and Randal E. Bryant}, year = {2007}, doi = {10.1145/1297658.1297662}, url = {http://doi.acm.org/10.1145/1297658.1297662}, tags = {e-science, abstraction}, researchr = {https://researchr.org/publication/LahiriB07}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Log.}, volume = {9}, number = {1}, pages = {4}, }