b'@inproceedings{Bromberger_CADE23,'b'\nTITLE = {An {I}sabelle/{HOL} Formalization of the {SCL}({FOL}) Calculus},\nAUTHOR = {Bromberger, Martin and Desharnais, Martin and Weidenbach, Christoph},\nLANGUAGE = {eng},\nISBN = {978-3-031-38498-1},\nDOI = {10.1007/978-3-031-38499-8_7},\nPUBLISHER = {Springer},\nYEAR = {2023},\nMARGINALMARK = {$\\bullet$},\nDATE = {2023},\nBOOKTITLE = {Automated Deductions -- CADE 29},\nEDITOR = {Pientka, Brigitte and Tinelli, Cesare},\nPAGES = {116--133},\nSERIES = {Lecture Notes in Artificial Intelligence},\nVOLUME = {14132},\nADDRESS = {Rome, Italy},\n}\n'