1. N. K. Vereshchagin and A. Shen’, Languages and Calculi (MNTsMO, Moscow, 2012) [in Russian].
2. Yu. V. Glebskii, D. I. Kogan, M. I. Liagonkii, and V. A. Talanov, Kibernetika 2, 17–26 (1969).
3. R. Fagin, J. Symbol. Logic 41, 50–58 (1976).
4. J. H. Spencer, The Strange Logic of Random Graphs (Springer, Berlin, 2001).
5. J. H. Spencer, Discrete Appl. Math. 30, 235–252 (1991).