Blanchette, Jasmin Christian Automation of Logic, MPI for Informatics, Max Planck Society;
Tourret, Sophie Automation of Logic, MPI for Informatics, Max Planck Society;
Ebner2021_Chapter_AUnifyingSplittingFramework.pdf (Verlagsversion), 424KB
Ebner, G., Blanchette, J. C., & Tourret, S. (2021). A Unifying Splitting Framework. In A. Platzer, & G. Sutcliffe (Eds.), Automated Deduction - CADE 28 (pp. 344-360). Berlin: Springer. doi:10.1007/978-3-030-79876-5_20.
