Combinatorial Proofs and Decomposition Theorems for First-order Logic.

Dominic J. D. Hughes, Lutz Straburger, Jui-Hsuan Wu

Browse the full LICS paper archive.