@inproceedings{Ebner_CADE21,
TITLE = {A Unifying Splitting Framework},
AUTHOR = {Ebner, Gabriel and Blanchette, Jasmin and Tourret, Sophie},
LANGUAGE = {eng},
ISBN = {978-3-030-79875-8},
DOI = {10.1007/978-3-030-79876-5_20},
PUBLISHER = {Springer},
YEAR = {2021},
DATE = {2021},
BOOKTITLE = {Automated Deduction -- CADE 28},
EDITOR = {Platzer, Andr{\'e} and Sutcliffe, Geoff},
PAGES = {344--360},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {12699},
ADDRESS = {Virtual Event},
}