Kanazawa M. Monadic Quantifiers Recognized by Deterministic Pushdown Automata. Proceedings of the AC. Published online December 1, 2013:139-146. Accessed April 11, 2026. https://testplatform.openjournals.nl/PAC/article/view/22448