APA (7th ed.) Citation

Clemente, L., & Mayr, R. (2019). Efficient reduction of nondeterministic automata with application to language inclusion testing. Logical methods in computer science, 15, Issue 1, . https://doi.org/10.23638/LMCS-15(1:12)2019

Chicago Style (17th ed.) Citation

Clemente, Lorenzo, and Richard Mayr. "Efficient Reduction of Nondeterministic Automata with Application to Language Inclusion Testing." Logical Methods in Computer Science 15, Issue 1 (2019). https://doi.org/10.23638/LMCS-15(1:12)2019.

MLA (9th ed.) Citation

Clemente, Lorenzo, and Richard Mayr. "Efficient Reduction of Nondeterministic Automata with Application to Language Inclusion Testing." Logical Methods in Computer Science, vol. 15, Issue 1, 2019, https://doi.org/10.23638/LMCS-15(1:12)2019.