b'@inproceedings{Bromberger_CADE23b,'b'\nTITLE = {{SCL}({FOL}) Can Simulate Non-Redundant Superposition Clause Learning},\nAUTHOR = {Bromberger, Martin and Jain, Chaahat and Weidenbach, Christoph},\nLANGUAGE = {eng},\nISBN = {978-3-031-38498-1},\nDOI = {10.1007/978-3-031-38499-8_8},\nPUBLISHER = {Springer},\nYEAR = {2023},\nMARGINALMARK = {$\\bullet$},\nDATE = {2023},\nBOOKTITLE = {Automated Deductions -- CADE 29},\nEDITOR = {Pientka, Brigitte and Tinelli, Cesare},\nPAGES = {134--152},\nSERIES = {Lecture Notes in Artificial Intelligence},\nVOLUME = {14132},\nADDRESS = {Rome, Italy},\n}\n'