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