Ésik, Zoltán, and Kim G. Larsen. “Regular Languages Definable by Lindström Quantifiers”. BRICS Report Series 10, no. 28 (August 7, 2003). Accessed April 18, 2024. https://tidsskrift.dk/brics/article/view/21796.