John Kodumal, Alexander Aiken. The set constraint/CFL reachability connection in practice. In William Pugh, Craig Chambers, editors, Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004. pages 207-218, ACM, 2004. [doi]
@inproceedings{KodumalA04,
title = {The set constraint/CFL reachability connection in practice},
author = {John Kodumal and Alexander Aiken},
year = {2004},
doi = {10.1145/996841.996867},
url = {http://doi.acm.org/10.1145/996841.996867},
tags = {constraints},
researchr = {https://researchr.org/publication/KodumalA04},
cites = {0},
citedby = {0},
pages = {207-218},
booktitle = {Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004},
editor = {William Pugh and Craig Chambers},
publisher = {ACM},
isbn = {1-58113-807-5},
}