Tourret, Sophie Automation of Logic, MPI for Informatics, Max Planck Society;
Nummelin2021_Chapter_SuperpositionWithFirst-classBo.pdf (Publisher version), 419KB
Nummelin, V., Bentkamp, A., Tourret, S., & Vukmirović, P. (2021). Superposition with First-class Booleans and Inprocessing Clausification. In A. Platzer, & G. Sutcliffe (Eds.), Automated Deduction - CADE 28 (pp. 378-395). Berlin: Springer. doi:10.1007/978-3-030-79876-5_22.