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

@INBOOK{Batz:1029282,
      author       = {Batz, Kevin and Katoen, Joost-Pieter and Orhan, Nora},
      title        = {{Q}uantifier {E}limination and {C}raig {I}nterpolation:
                      {T}he {Q}uantitative {W}ay},
      volume       = {15691},
      address      = {Cham},
      publisher    = {Springer Nature Switzerland},
      reportid     = {RWTH-2026-02195},
      series       = {Lecture Notes in Computer Science},
      pages        = {176-197},
      year         = {2025},
      comment      = {Foundations of Software Science and Computation Structures
                      : 28th International Conference, FoSSaCS 2025, Held as Part
                      of the International Joint Conferences on Theory and
                      Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May
                      3–8, 2025, Proceedings / edited by Parosh Aziz Abdulla,
                      Delia Kesner},
      booktitle     = {Foundations of Software Science and
                       Computation Structures : 28th
                       International Conference, FoSSaCS 2025,
                       Held as Part of the International Joint
                       Conferences on Theory and Practice of
                       Software, ETAPS 2025, Hamilton, ON,
                       Canada, May 3–8, 2025, Proceedings /
                       edited by Parosh Aziz Abdulla, Delia
                       Kesner},
      month         = {May},
      date          = {2025-05-03},
      organization  = {Foundations of Software Science and
                       Computation Structures : 28.
                       International Conference, FoSSaCS 2025,
                       Hamilton, ON (Canada), 3 May 2025 - 8
                       May 2025},
      cin          = {121310},
      cid          = {$I:(DE-82)121310_20140620$},
      typ          = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
      doi          = {10.1007/978-3-031-90897-2_9},
      url          = {https://publications.rwth-aachen.de/record/1029282},
}