h1

h2

h3

h4

h5
h6
% IMPORTANT: The following is UTF-8 encoded.  This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.

@ARTICLE{Grdel:718317,
      author       = {Grädel, Erich and Grohe, Martin and Pago, Benedikt Thomas
                      and Pakusa, Wied},
      title        = {{A} {F}inite-{M}odel-{T}heoretic {V}iew on {P}ropositional
                      {P}roof {C}omplexity},
      reportid     = {RWTH-2018-221672},
      pages        = {53 Seiten},
      year         = {2018},
      cin          = {117220 / 110000 / 122910 / 120000},
      cid          = {$I:(DE-82)117220_20140620$ / $I:(DE-82)110000_20140620$ /
                      $I:(DE-82)122910_20140620$ / $I:(DE-82)120000_20140620$},
      typ          = {PUB:(DE-HGF)25},
      eprint       = {1802.09377},
      howpublished = {arXiv:1802.09377},
      archivePrefix = {arXiv},
      SLACcitation = {$\%\%CITATION$ = $arXiv:1802.09377;\%\%$},
      doi          = {10.48550/ARXIV.1802.09377},
      url          = {https://publications.rwth-aachen.de/record/718317},
}