@inproceedings{Kodumal:2004:SCR:996841.996867,
    Address = {New York, NY, USA},
    Author = {Kodumal, John and Aiken, Alex},
    BookTitle = {Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation},
    File = {The set constraint-CFL reachability connection in practice - Kodumal, Aiken (0) (0) - a - a - d.pdf},
    ISBN = {1-58113-807-5},
    Keywords = {set constraints and CFL-reachability},
    Location = {Washington DC, USA},
    Pages = {207--218},
    Publisher = {ACM},
    Series = {PLDI '04},
    Title = {The set constraint/CFL reachability connection in practice},
    URL = {http://doi.acm.org/10.1145/996841.996867},
    Year = {2004},
    acmid = {996867},
    bdsk-url-1 = {http://doi.acm.org/10.1145/996841.996867},
    bdsk-url-2 = {http://dx.doi.org/10.1145/996841.996867},
    date-added = {2013-07-22 16:23:00 +0000},
    date-modified = {2013-07-22 16:23:51 +0000},
    numpages = {12},
    doi = {10.1145/996841.996867}
}

@inproceedings{Kodumal:2004:SCR:996841.996867, Address = {New York, NY, USA}, Author = {Kodumal, John and Aiken, Alex}, BookTitle = {Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation}, File = {The set constraint-CFL reachability connection in practice - Kodumal, Aiken (0) (0) - a - a - d.pdf}, ISBN = {1-58113-807-5}, Keywords = {set constraints and CFL-reachability}, Location = {Washington DC, USA}, Pages = {207--218}, Publisher = {ACM}, Series = {PLDI '04}, Title = {The set constraint/CFL reachability connection in practice}, URL = {http://doi.acm.org/10.1145/996841.996867}, Year = {2004}, acmid = {996867}, bdsk-url-1 = {http://doi.acm.org/10.1145/996841.996867}, bdsk-url-2 = {http://dx.doi.org/10.1145/996841.996867}, date-added = {2013-07-22 16:23:00 +0000}, date-modified = {2013-07-22 16:23:51 +0000}, numpages = {12}, doi = {10.1145/996841.996867} }