@inproceedings{Bromberger_FROCOS23,
TITLE = {Symbolic Model Construction for Saturated Constrained {H}orn Clauses},
AUTHOR = {Bromberger, Martin and Leutgeb, Lorenz and Weidenbach, Christoph},
LANGUAGE = {eng},
ISBN = {978-3-031-43368-9},
DOI = {10.1007/978-3-031-43369-6_8},
PUBLISHER = {Springer},
YEAR = {2023},
MARGINALMARK = {$\bullet$},
DATE = {2023},
BOOKTITLE = {Frontiers of Combining Systems (FroCoS 2023)},
EDITOR = {Sattler, Uli and Suda, Martin},
PAGES = {137--155},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {14279},
ADDRESS = {Prague, Czech Republic},
}