1. Almeida, A., Almeida, M., Alves, J., Moreira, N., Reis, R.: FAdo and GUItar. In: Proceedings of the 14th International Conference on Implementation and Application of Automata. pp. 65–74 (2009)
2. Alur, R., D’Antoni, L., Gulwani, S., Kini, D., Viswanathan, M.: Automated grading of DFA constructions. In: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. pp. 1976–1982. IJCAI/AAAI (2013)
3. Bahdanau, D., Cho, K., Bengio, Y.: Neural machine translation by jointly learning to align and translate. In: Bengio, Y., LeCun, Y. (eds.) 3rd International Conference on Learning Representations, ICLR 2015, San Diego, CA, USA, May 7-9, 2015, Conference Track Proceedings (2015)
4. Büchi, J.R.: Weak second-order arithmetic and finite automata. Journal of Symbolic Logic 28(1) (1963)
5. D’Antoni, L., Helfrich, M., Kretínský, J., Ramneantu, E., Weininger, M.: Automata tutor v3. In: Proceedings of the 32nd International Conference on Computer Aided Verification. vol. 12225, pp. 3–14. Springer (2020)