@inproceedings{Ehlers:2010:MDB:2164073.2164104,
    Address = {Berlin, Heidelberg},
    Author = {Ehlers, R\"{u}diger},
    BookTitle = {Proceedings of the 13th international conference on Theory and Applications of Satisfiability Testing},
    ISBN = {3-642-14185-4, 978-3-642-14185-0},
    Keywords = {minimization},
    Location = {Edinburgh, UK},
    Pages = {326--332},
    Publisher = {Springer-Verlag},
    Series = {SAT'10},
    Title = {Minimising deterministic B{\"u}chi automata precisely using SAT solving},
    URL = {http://dx.doi.org/10.1007/978-3-642-14186-7\_28},
    Year = {2010},
    acmid = {2164104},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-14186-7\_28},
    date-added = {2013-10-28 08:49:25 +0000},
    date-modified = {2013-10-28 08:49:42 +0000},
    numpages = {7},
    doi = {10.1007/978-3-642-14186-7_28}
}

@inproceedings{Ehlers:2010:MDB:2164073.2164104, Address = {Berlin, Heidelberg}, Author = {Ehlers, R\"{u}diger}, BookTitle = {Proceedings of the 13th international conference on Theory and Applications of Satisfiability Testing}, ISBN = {3-642-14185-4, 978-3-642-14185-0}, Keywords = {minimization}, Location = {Edinburgh, UK}, Pages = {326--332}, Publisher = {Springer-Verlag}, Series = {SAT'10}, Title = {Minimising deterministic B{\"u}chi automata precisely using SAT solving}, URL = {http://dx.doi.org/10.1007/978-3-642-14186-7_28}, Year = {2010}, acmid = {2164104}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-14186-7_28}, date-added = {2013-10-28 08:49:25 +0000}, date-modified = {2013-10-28 08:49:42 +0000}, numpages = {7}, doi = {10.1007/978-3-642-14186-7_28} }