H. Miller and D. E. Narváez, “Toward Determining NFA Equivalence via QBFs (Student Abstract)”, AAAI, vol. 35, no. 18, pp. 15849-15850, May 2021.