b'@inproceedings{Fiori_CADE2019,'b'\nTITLE = {{SCL} Clause Learning from Simple Models},\nAUTHOR = {Fiori, Alberto and Weidenbach, Christoph},\nLANGUAGE = {eng},\nISSN = {0302-9743},\nISBN = {978-3-030-29435-9},\nDOI = {10.1007/978-3-030-29436-6_14},\nPUBLISHER = {Springer},\nYEAR = {2019},\nDATE = {2019},\nBOOKTITLE = {Automated Deduction -- CADE 27},\nEDITOR = {Fontaine, Pascal},\nPAGES = {233--249},\nSERIES = {Lecture Notes in Artificial Intelligence},\nVOLUME = {11716},\nADDRESS = {Natal, Brazil},\n}\n'