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{Promies:994020,
      author       = {Promies, Valentin Maxim and Nalbach, Jasper Kurt Ferdinand
                      and Ábrahám, Erika},
      title        = {{U}nder-{A}pproximation of a {S}ingle {A}lgebraic {C}ell},
      volume       = {3717},
      address      = {Aachen, Germany},
      publisher    = {RWTH Aachen},
      reportid     = {RWTH-2024-09042},
      series       = {CEUR workshop proceedings},
      pages        = {132-136},
      year         = {2024},
      comment      = {PAAR+SC-Square 2024: Practical Aspects of Automated
                      Reasoning and Satisfiability Checking and Symbolic
                      Computation Workshop 2024 : joint proceedings of the 9th
                      Workshop on Practical Aspects of Automated Reasoning (PAAR)
                      and the 9th Satisfiability Checking and Symbolic Computation
                      Workshop (SC-Square), 2024, co-located with the 12th
                      International Joint Conference on Automated Reasoning (IJCAR
                      2024) : Nancy, France, July 2, 2024 / edited by Chris Brown,
                      Daniela Kaufmann, Cláudia Nalon, Alexander Steen, Martin
                      Suda},
      booktitle     = {PAAR+SC-Square 2024: Practical Aspects
                       of Automated Reasoning and
                       Satisfiability Checking and Symbolic
                       Computation Workshop 2024 : joint
                       proceedings of the 9th Workshop on
                       Practical Aspects of Automated
                       Reasoning (PAAR) and the 9th
                       Satisfiability Checking and Symbolic
                       Computation Workshop (SC-Square), 2024,
                       co-located with the 12th International
                       Joint Conference on Automated Reasoning
                       (IJCAR 2024) : Nancy, France, July 2,
                       2024 / edited by Chris Brown, Daniela
                       Kaufmann, Cláudia Nalon, Alexander
                       Steen, Martin Suda},
      month         = {Jul},
      date          = {2024-07-02},
      organization  = {9. Workshop on Practical Aspects of
                       Automated Reasoning, Nancy (France), 2
                       Jul 2024 - 2 Jul 2024},
      subtyp        = {Extended abstract},
      cin          = {123420 / 120000 / 080060},
      cid          = {$I:(DE-82)123420_20140620$ / $I:(DE-82)120000_20140620$ /
                      $I:(DE-82)080060_20170720$},
      pnm          = {DFG project G:(GEPRIS)531314152 - SMT Techniken für
                      arithmetische Theorien (531314152)},
      pid          = {G:(GEPRIS)531314152},
      typ          = {PUB:(DE-HGF)1 / PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
      url          = {https://publications.rwth-aachen.de/record/994020},
}