@inproceedings{Leidinger_IJCAR2022B,
TITLE = {{SCL(EQ)}: {SCL} for First-Order Logic with Equality},
AUTHOR = {Leidinger, Hendrik and Weidenbach, Christoph},
LANGUAGE = {eng},
ISBN = {978-3-031-10768-9},
URL = {https://rdcu.be/cY8VZ},
DOI = {10.1007/978-3-031-10769-6_14},
PUBLISHER = {Springer},
YEAR = {2022},
DATE = {2022},
BOOKTITLE = {Automated Reasoning (IJCAR 2022)},
EDITOR = {Blanchette, Jasmin and Kov{\'a}cs, Laura and Pattinson, Dirk},
PAGES = {228--247},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {13385},
ADDRESS = {Haifa, Israel},
}