@inproceedings{Briefs_FROCOS23,
TITLE = {{KBO} Constraint Solving Revisited},
AUTHOR = {Briefs, Yasmine and Leidinger, Hendrik and Weidenbach, Christoph},
LANGUAGE = {eng},
ISBN = {978-3-031-43368-9},
DOI = {10.1007/978-3-031-43369-6_5},
PUBLISHER = {Springer},
YEAR = {2023},
MARGINALMARK = {$\bullet$},
DATE = {2023},
BOOKTITLE = {Frontiers of Combining Systems (FroCoS 2023)},
EDITOR = {Sattler, Uli and Suda, Martin},
PAGES = {81--98},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {14279},
ADDRESS = {Prague, Czech Republic},
}