@inproceedings{DAntoni:Veanes:POPL:2014,
    Address = {New York, NY, USA},
    Author = {D'Antoni, Loris and Veanes, Margus},
    BookTitle = {Proc. of POPL'14},
    File = {Minimization of Symbolic Automata - D'Antoni, Veanes (0) (0) - a - a - m.pdf},
    ISBN = {978-1-4503-2544-8},
    Keywords = {minimization, symbolic automata, citesme!},
    Location = {San Diego, California, USA},
    Pages = {541--553},
    Publisher = {ACM},
    Series = {POPL '14},
    Title = {Minimization of Symbolic Automata},
    URL = {http://doi.acm.org/10.1145/2535838.2535849},
    Year = {2014},
    acmid = {2535849},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2535838.2535849},
    bdsk-url-2 = {http://dx.doi.org/10.1145/2535838.2535849},
    date-added = {2015-10-01 12:10:24 +0000},
    date-modified = {2018-05-19 16:58:15 +0000},
    numpages = {13},
    doi = {10.1145/2535838.2535849}
}

@inproceedings{DAntoni:Veanes:POPL:2014, Address = {New York, NY, USA}, Author = {D'Antoni, Loris and Veanes, Margus}, BookTitle = {Proc. of POPL'14}, File = {Minimization of Symbolic Automata - D'Antoni, Veanes (0) (0) - a - a - m.pdf}, ISBN = {978-1-4503-2544-8}, Keywords = {minimization, symbolic automata, citesme!}, Location = {San Diego, California, USA}, Pages = {541--553}, Publisher = {ACM}, Series = {POPL '14}, Title = {Minimization of Symbolic Automata}, URL = {http://doi.acm.org/10.1145/2535838.2535849}, Year = {2014}, acmid = {2535849}, bdsk-url-1 = {http://doi.acm.org/10.1145/2535838.2535849}, bdsk-url-2 = {http://dx.doi.org/10.1145/2535838.2535849}, date-added = {2015-10-01 12:10:24 +0000}, date-modified = {2018-05-19 16:58:15 +0000}, numpages = {13}, doi = {10.1145/2535838.2535849} }