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