@article{Oyamaguchi:1987:EPR:28869.28881,
    Address = {New York, NY, USA},
    Author = {Oyamaguchi, Michio},
    ISSN = {0004-5411},
    Journal = {J. ACM},
    Keywords = {no pdf},
    Month = {July},
    Number = {3},
    Pages = {731--760},
    Publisher = {ACM},
    Title = {The Equivalence Problem for Real-time DPDAs},
    URL = {http://doi.acm.org/10.1145/28869.28881},
    Volume = {34},
    Year = {1987},
    acmid = {28881},
    bdsk-url-1 = {http://doi.acm.org/10.1145/28869.28881},
    bdsk-url-2 = {http://dx.doi.org/10.1145/28869.28881},
    date-added = {2013-12-27 17:11:26 +0000},
    date-modified = {2013-12-27 17:12:06 +0000},
    issue_date = {July 1987},
    numpages = {30},
    doi = {10.1145/28869.28881}
}

@article{Oyamaguchi:1987:EPR:28869.28881, Address = {New York, NY, USA}, Author = {Oyamaguchi, Michio}, ISSN = {0004-5411}, Journal = {J. ACM}, Keywords = {no pdf}, Month = {July}, Number = {3}, Pages = {731--760}, Publisher = {ACM}, Title = {The Equivalence Problem for Real-time DPDAs}, URL = {http://doi.acm.org/10.1145/28869.28881}, Volume = {34}, Year = {1987}, acmid = {28881}, bdsk-url-1 = {http://doi.acm.org/10.1145/28869.28881}, bdsk-url-2 = {http://dx.doi.org/10.1145/28869.28881}, date-added = {2013-12-27 17:11:26 +0000}, date-modified = {2013-12-27 17:12:06 +0000}, issue_date = {July 1987}, numpages = {30}, doi = {10.1145/28869.28881} }