Miller, H.; Narváez, D. E. Toward Determining NFA Equivalence via QBFs (Student Abstract). AAAI 2021, 35, 15849-15850.