Miller, H. and Narváez, D.E. 2021. Toward Determining NFA Equivalence via QBFs (Student Abstract). Proceedings of the AAAI Conference on Artificial Intelligence. 35, 18 (May 2021), 15849-15850. DOI:https://doi.org/10.1609/aaai.v35i18.17921.