b'@inproceedings{BarbosaCADE2017,'b'\nTITLE = {Scalable Fine-Grained Proofs for Formula Processing},\nAUTHOR = {Barbosa, Haniel and Blanchette, Jasmin Christian and Fontaine, Pascal},\nLANGUAGE = {eng},\nISBN = {978-3-319-63045-8},\nDOI = {10.1007/978-3-319-63046-5_25},\nPUBLISHER = {Springer},\nYEAR = {2017},\nDATE = {2017},\nBOOKTITLE = {Automated Deduction -- CADE 26},\nEDITOR = {de Moura, Leonardo},\nPAGES = {398--412},\nSERIES = {Lecture Notes in Artificial Intelligence},\nVOLUME = {10395},\nADDRESS = {Gothenburg, Sweden},\n}\n'