@misc{indiciaeae23ae410530,
  title = {A Finite-Model-Theoretic View on Propositional Proof Complexity},
  author = {Erich Grädel and Martin Grohe and Benedikt Pago and Wied Pakusa},
  year = {2022},
  doi = {10.23638/lmcs-15(1:4)2019},
  url = {https://arxiv.org/abs/1802.09377},
  note = {Source identifier: 1802.09377}
}