А. М. Кангужин, “Мощность множества счетных моделей универсальных предложений с двумя кванторами”, JMMCS, vol. 68, no. 1, pp. 14–16, Mar. 2011.