W.I. Gasarch, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science, 1988, 130
Didier Caucal, 2420, Mathematical Foundations of Computer Science 2002, 2002, 165
Georg Zetzsche, Dietrich Kuske, Markus Lohrey, “On Boolean Closed Full Trios and Rational Kripke Frames”, Theory Comput Syst, 60, № 3, 2017, 438
Сергей Иванович Адян, Sergei Ivanovich Adian, Алексей Львович Семeнов, Aleksei L'vovich Semenov, Владимир Андреевич Успенский, Vladimir Andreevich Uspenskii, “Андрей Альбертович Мучник (некролог)”, УМН, 62, № 4, 2007, 140
Wolfgang Thomas, 5213, Computer Science Logic, 2008, 23
Igor Walukiewicz, “Monadic second-order logic on tree-like structures”, Theoretical Computer Science, 275, № 1-2, 2002, 311
Igor Walukiewicz, 1046, STACS 96, 1996, 399
Bakhadyr Khoussainov, Alexander Yakhnis, Vladimir Yakhnis, “Games with Unknown Past”, Mathematical Logic Qtrly, 44, № 2, 1998, 185
Wolfgang Thomas, Handbook of Formal Languages, 1997, 389
Alexis Bès, Alexander Rabinovich, 6300, Fields of Logic and Computation, 2010, 95