b'@inproceedings{Ebner_CADE21,'b"\nTITLE = {A Unifying Splitting Framework},\nAUTHOR = {Ebner, Gabriel and Blanchette, Jasmin and Tourret, Sophie},\nLANGUAGE = {eng},\nISBN = {978-3-030-79875-8},\nDOI = {10.1007/978-3-030-79876-5_20},\nPUBLISHER = {Springer},\nYEAR = {2021},\nMARGINALMARK = {$\\bullet$},\nDATE = {2021},\nBOOKTITLE = {Automated Deduction -- CADE 28},\nEDITOR = {Platzer, Andr{\\'e} and Sutcliffe, Geof},\nPAGES = {344--360},\nSERIES = {Lecture Notes in Artificial Intelligence},\nVOLUME = {12699},\nADDRESS = {Virtual Event},\n}\n"