Leidinger, Hendrik Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
978-3-031-10769-6_14.pdf (Publisher version), 393KB
Leidinger, H., & Weidenbach, C. (2022). SCL(EQ): SCL for First-Order Logic with Equality. In J. Blanchette, L. Kovács, & D. Pattinson (Eds.), Automated Reasoning (pp. 228-247). Berlin: Springer. doi:10.1007/978-3-031-10769-6_14.