@inproceedings{Uezato:2016:MAI:3081476.3081508,
    Address = {New York, NY, USA},
    Author = {Uezato, Yuya and Minamide, Yasuhiko},
    BookTitle = {Proceedings of the 20th International Conference on Developments in Language Theory - Volume 9840},
    File = {DLT2016\_uezato (0) - a - a - g.pdf},
    ISBN = {978-3-662-53131-0},
    Location = {Montr\&\\#233;al, Canada},
    Pages = {393--405},
    Publisher = {Springer-Verlag New York, Inc.},
    Series = {DLT 2016},
    Title = {Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata},
    URL = {https://doi.org/10.1007/978-3-662-53132-7\_32},
    Year = {2016},
    acmid = {3081508},
    bdsk-url-1 = {https://doi.org/10.1007/978-3-662-53132-7\_32},
    date-added = {2018-06-21 12:55:37 +0000},
    date-modified = {2018-06-21 12:55:37 +0000},
    file-2 = {../Nextcloud/BibDesk/0001870882900482 (0).bib},
    numpages = {13},
    doi = {10.1007/978-3-662-53132-7_32}
}

@inproceedings{Uezato:2016:MAI:3081476.3081508, Address = {New York, NY, USA}, Author = {Uezato, Yuya and Minamide, Yasuhiko}, BookTitle = {Proceedings of the 20th International Conference on Developments in Language Theory - Volume 9840}, File = {DLT2016_uezato (0) - a - a - g.pdf}, ISBN = {978-3-662-53131-0}, Location = {Montr\&\#233;al, Canada}, Pages = {393--405}, Publisher = {Springer-Verlag New York, Inc.}, Series = {DLT 2016}, Title = {Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata}, URL = {https://doi.org/10.1007/978-3-662-53132-7_32}, Year = {2016}, acmid = {3081508}, bdsk-url-1 = {https://doi.org/10.1007/978-3-662-53132-7_32}, date-added = {2018-06-21 12:55:37 +0000}, date-modified = {2018-06-21 12:55:37 +0000}, file-2 = {../Nextcloud/BibDesk/0001870882900482 (0).bib}, numpages = {13}, doi = {10.1007/978-3-662-53132-7_32} }