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

@TECHREPORT{Junges:228582,
      author       = {Junges, Sebastian and Loup, Ulrich and Corzilius, Florian
                      and Ábrahám, Erika},
      title        = {{O}n {G}röbner {B}ases in the {C}ontext of
                      {S}atisfiability-{M}odulo-{T}heories {S}olving over the
                      {R}eal {N}umbers},
      volume       = {2013,08},
      number       = {AIB-2013-08},
      address      = {Aachen},
      publisher    = {Shaker [u.a.]},
      reportid     = {RWTH-CONV-010468, AIB-2013-08},
      series       = {Aachener Informatik-Berichte : AIB},
      pages        = {3-21},
      year         = {2013},
      comment      = {Aachener Informatik-Berichte : AIB. - 2013,08},
      booktitle     = {Aachener Informatik-Berichte : AIB. -
                       2013,08},
      cin          = {120000 / 123420 / 121330},
      cid          = {$I:(DE-82)120000_20140620$ / $I:(DE-82)123420_20140620$ /
                      $I:(DE-82)121330_20140620$},
      typ          = {PUB:(DE-HGF)7},
      url          = {https://publications.rwth-aachen.de/record/228582},
}