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), pp. 15849-15850. doi: 10.1609/aaai.v35i18.17921.