% 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},
}