- 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, no. 3, 2017, 438
- Сергей Иванович Адян, Sergei Ivanovich Adian, Алексей Львович Семeнов, Aleksei L'vovich Semenov, Владимир Андреевич Успенский, Vladimir Andreevich Uspenskii, “Андрей Альбертович Мучник (некролог)”, УМН, 62, no. 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, no. 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, no. 2, 1998, 185
- Wolfgang Thomas, Handbook of Formal Languages, 1997, 389
- Alexis Bès, Alexander Rabinovich, 6300, Fields of Logic and Computation, 2010, 95