@article{ClementeMayr:LMCS:2019,
    Author = {Clemente, Lorenzo and Mayr, Richard},
    File = {1711.099460 (0) - a - a - i.pdf},
    Journal = {{Logical Methods in Computer Science}},
    Keywords = {Computer Science - Formal Languages and Automata Theory ; Computer Science - Logic in Computer Science ; D.2.4 ; F.1.1},
    Month = {February},
    Title = {{Efficient reduction of nondeterministic automata with application to language inclusion testing}},
    URL = {https://lmcs.episciences.org/5189},
    Volume = {{Volume 15, Issue 1}},
    Year = {2019},
    bdsk-url-1 = {https://lmcs.episciences.org/5189},
    date-added = {2019-03-07 09:28:26 +0100},
    date-modified = {2023-09-01 14:55:05 +0200},
    doi = {10.23638/LMCS-15(1:12)2019}
}

@article{ClementeMayr:LMCS:2019, Author = {Clemente, Lorenzo and Mayr, Richard}, File = {1711.099460 (0) - a - a - i.pdf}, Journal = {{Logical Methods in Computer Science}}, Keywords = {Computer Science - Formal Languages and Automata Theory ; Computer Science - Logic in Computer Science ; D.2.4 ; F.1.1}, Month = {February}, Title = {{Efficient reduction of nondeterministic automata with application to language inclusion testing}}, URL = {https://lmcs.episciences.org/5189}, Volume = {{Volume 15, Issue 1}}, Year = {2019}, bdsk-url-1 = {https://lmcs.episciences.org/5189}, date-added = {2019-03-07 09:28:26 +0100}, date-modified = {2023-09-01 14:55:05 +0200}, doi = {10.23638/LMCS-15(1:12)2019} }