1.
Miller H, Narváez DE. Toward Determining NFA Equivalence via QBFs (Student Abstract). AAAI [Internet]. 2021May18 [cited 2024Mar.29];35(18):15849-50. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/17921