KANAZAWA, Makoto. Monadic Quantifiers Recognized by Deterministic Pushdown Automata. Proceedings of the Amsterdam Colloquium, Amsterdam, p. 139–146, 2013. Disponível em: https://platform.openjournals.nl/PAC/article/view/22448.. Acesso em: 5 dec. 2025.