@article{Chaudhuri:2008:SAR:1328897.1328460,
    Address = {New York, NY, USA},
    Author = {Chaudhuri, Swarat},
    File = {Subcubic algorithms for recursive state machines - Chaudhuri (0) (1) - a - a - z.pdf},
    ISSN = {0362-1340},
    Journal = {SIGPLAN Not.},
    Keywords = {program analysis and pushdown automata and recursive state machines},
    Month = {January},
    Number = {1},
    Pages = {159--169},
    Publisher = {ACM},
    Title = {Subcubic algorithms for recursive state machines},
    URL = {http://doi.acm.org/10.1145/1328897.1328460},
    Volume = {43},
    Year = {2008},
    acmid = {1328460},
    bdsk-url-1 = {http://doi.acm.org/10.1145/1328897.1328460},
    bdsk-url-2 = {http://dx.doi.org/10.1145/1328897.1328460},
    date-added = {2012-07-11 08:10:15 +0200},
    date-modified = {2012-07-11 06:10:38 +0000},
    issue_date = {January 2008},
    numpages = {11},
    doi = {10.1145/1328897.1328460}
}

@article{Chaudhuri:2008:SAR:1328897.1328460, Address = {New York, NY, USA}, Author = {Chaudhuri, Swarat}, File = {Subcubic algorithms for recursive state machines - Chaudhuri (0) (1) - a - a - z.pdf}, ISSN = {0362-1340}, Journal = {SIGPLAN Not.}, Keywords = {program analysis and pushdown automata and recursive state machines}, Month = {January}, Number = {1}, Pages = {159--169}, Publisher = {ACM}, Title = {Subcubic algorithms for recursive state machines}, URL = {http://doi.acm.org/10.1145/1328897.1328460}, Volume = {43}, Year = {2008}, acmid = {1328460}, bdsk-url-1 = {http://doi.acm.org/10.1145/1328897.1328460}, bdsk-url-2 = {http://dx.doi.org/10.1145/1328897.1328460}, date-added = {2012-07-11 08:10:15 +0200}, date-modified = {2012-07-11 06:10:38 +0000}, issue_date = {January 2008}, numpages = {11}, doi = {10.1145/1328897.1328460} }