@inproceedings{MayrClemente:Minimization:POPL:2013,
    Address = {New York, NY, USA},
    Author = {Mayr, Richard and Clemente, Lorenzo},
    BookTitle = {Proc. of POPL'13},
    File = {Advanced automata minimization - Mayr, Clemente (0) (0) - a - a - u.pdf},
    ISBN = {978-1-4503-1832-7},
    Keywords = {simulation preoder and automata theory},
    Location = {Rome, Italy},
    Pages = {63--74},
    Publisher = {ACM},
    Title = {Advanced automata minimization},
    URL = {http://doi.acm.org/10.1145/2429069.2429079},
    Year = {2013},
    acmid = {2429079},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2429069.2429079},
    bdsk-url-2 = {http://dx.doi.org/10.1145/2429069.2429079},
    date-added = {2013-02-26 09:23:22 +0000},
    date-modified = {2016-11-14 10:58:58 +0000},
    file-2 = {Advanced automata minimization - Mayr, Clemente (1) (0) - a - a - u.pdf},
    numpages = {12},
    doi = {10.1145/2429069.2429079}
}

@inproceedings{MayrClemente:Minimization:POPL:2013, Address = {New York, NY, USA}, Author = {Mayr, Richard and Clemente, Lorenzo}, BookTitle = {Proc. of POPL'13}, File = {Advanced automata minimization - Mayr, Clemente (0) (0) - a - a - u.pdf}, ISBN = {978-1-4503-1832-7}, Keywords = {simulation preoder and automata theory}, Location = {Rome, Italy}, Pages = {63--74}, Publisher = {ACM}, Title = {Advanced automata minimization}, URL = {http://doi.acm.org/10.1145/2429069.2429079}, Year = {2013}, acmid = {2429079}, bdsk-url-1 = {http://doi.acm.org/10.1145/2429069.2429079}, bdsk-url-2 = {http://dx.doi.org/10.1145/2429069.2429079}, date-added = {2013-02-26 09:23:22 +0000}, date-modified = {2016-11-14 10:58:58 +0000}, file-2 = {Advanced automata minimization - Mayr, Clemente (1) (0) - a - a - u.pdf}, numpages = {12}, doi = {10.1145/2429069.2429079} }