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

@ARTICLE{brahm:854210,
      author       = {Ábrahám, Erika and Davenport, James H. and England,
                      Matthew and Griggio, Alberto},
      title        = {{N}ew {P}erspectives in {S}ymbolic {C}omputation and
                      {S}atisfiability {C}hecking},
      journal      = {Dagstuhl reports},
      volume       = {12},
      number       = {2},
      issn         = {2192-5283},
      address      = {Wadern},
      publisher    = {Schloss Dagstuhl},
      reportid     = {RWTH-2022-09398},
      pages        = {67-86},
      year         = {2022},
      month         = {Feb},
      date          = {2022-02-13},
      organization  = {Dagstuhl Seminar 22072, Dagstuhl
                       (Germany), 13 Feb 2022 - 18 Feb 2022},
      cin          = {123420 / 120000},
      cid          = {$I:(DE-82)123420_20140620$ / $I:(DE-82)120000_20140620$},
      typ          = {PUB:(DE-HGF)16 / PUB:(DE-HGF)8},
      urn          = {urn:nbn:de:0030-drops-169310},
      doi          = {10.4230/DagRep.12.2.67},
      url          = {https://publications.rwth-aachen.de/record/854210},
}