A Finite-Model-Theoretic View on Propositional Proof Complexity

Grädel, Erich (Corresponding author); Grohe, Martin; Pago, Benedikt Thomas; Pakusa, Wied

(2018)
Preprint