Bonnet, Édouard,
Jan Niclas Dreier,
Gajarský, Jakub,
Kreutzer, Stephan,
Mählmann, Nikolas,
Simon, Pierre,
Toruńczyk, Szymon Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022), 2022, Association for Computing Machinery.