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