@proceedings{ThiemannFroCoS25,
TITLE = {Frontiers of Combining Systems (FroCoS 2025)},
EDITOR = {Thiemann, Ren{\'e} and Weidenbach, Christoph},
LANGUAGE = {eng},
ISBN = {978-3-032-04166-1},
DOI = {10.1007/978-3-032-04167-8},
PUBLISHER = {Springer},
YEAR = {2025},
MARGINALMARK = {$\bullet$},
DATE = {2025},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {15979},
ADDRESS = {Reykjavik, Iceland},
}