Kanazawa, M. (2013). Monadic Quantifiers Recognized by Deterministic Pushdown Automata. Proceedings of the Amsterdam Colloquium, 139-146. https://platform.openjournals.nl/PAC/article/view/22448