@incollection{TabakovVardi:2005,
    Author = {Tabakov, Deian and Vardi, Moshe Y.},
    BookTitle = {Logic for Programming, Artificial Intelligence, and Reasoning},
    Editor = {Sutcliffe, Geoff and Voronkov, Andrei},
    File = {Experimental Evaluation of Classical Automata Constructions - Tabakov, Vardi (0) (0) - a - a - i.pdf},
    ISBN = {978-3-540-30553-8},
    Language = {English},
    Pages = {396--411},
    Publisher = {Springer},
    Series = {LNCS},
    Title = {Experimental Evaluation of Classical Automata Constructions},
    URL = {http://dx.doi.org/10.1007/11591191\_28},
    Volume = {3835},
    Year = {2005},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11591191\_28},
    date-added = {2015-10-07 15:35:56 +0000},
    date-modified = {2015-10-07 15:35:56 +0000},
    doi = {10.1007/11591191_28}
}

@incollection{TabakovVardi:2005, Author = {Tabakov, Deian and Vardi, Moshe Y.}, BookTitle = {Logic for Programming, Artificial Intelligence, and Reasoning}, Editor = {Sutcliffe, Geoff and Voronkov, Andrei}, File = {Experimental Evaluation of Classical Automata Constructions - Tabakov, Vardi (0) (0) - a - a - i.pdf}, ISBN = {978-3-540-30553-8}, Language = {English}, Pages = {396--411}, Publisher = {Springer}, Series = {LNCS}, Title = {Experimental Evaluation of Classical Automata Constructions}, URL = {http://dx.doi.org/10.1007/11591191_28}, Volume = {3835}, Year = {2005}, bdsk-url-1 = {http://dx.doi.org/10.1007/11591191_28}, date-added = {2015-10-07 15:35:56 +0000}, date-modified = {2015-10-07 15:35:56 +0000}, doi = {10.1007/11591191_28} }