2021 LICS 2021 Combinatorial Proofs and Decomposition Theorems for First-order Logic Hughes, Dominic, Straßburger, Lutz, and Wu, Jui-Hsuan In 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021 PDF