h1

% 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”.

@INPROCEEDINGS{Grdel:680730,
      author       = {Grädel, Erich and Hegselmann, Stefan},
      title        = {{C}ounting in {T}eam {S}emantics},
      volume       = {62},
      address      = {Wadern},
      publisher    = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
      reportid     = {RWTH-CONV-211652},
      series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
      pages        = {35, 18 Seiten},
      year         = {2016},
      comment      = {25th EACSL Annual Conference on Computer Science Logic (CSL
                      2016) / Herausgeber: Jean-Marc Talbot, Laurent Regnier},
      booktitle     = {25th EACSL Annual Conference on
                       Computer Science Logic (CSL 2016) /
                       Herausgeber: Jean-Marc Talbot, Laurent
                       Regnier},
      month         = {Aug},
      date          = {2016-08-29},
      organization  = {25. EACSL Annual Conference on
                       Computer Science Logic, Marseille
                       (France), 29 Aug 2016 - 1 Sep 2016},
      cin          = {110000 / 117220},
      cid          = {$I:(DE-82)110000_20140620$ / $I:(DE-82)117220_20140620$},
      typ          = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
      doi          = {10.4230/LIPIcs.CSL.2016.35},
      url          = {https://publications.rwth-aachen.de/record/680730},
}