b'@article{WeidenbachMeyerEtAl98jar,'b'\nTITLE = {{SPASS} V0.77},\nAUTHOR = {Weidenbach, Christoph and Meyer, Christoph and Cohrs, Christian and Engel, Thorsten and Keen, Enno},\nLANGUAGE = {eng},\nISSN = {0168-7433},\nLOCALID = {Local-ID: C1256104005ECAFC-DE7A848748E6512F412566FD005DE38A-WeidenbachMeyerEtAl98jar},\nYEAR = {1998},\nDATE = {1998},\nJOURNAL = {Journal of Automated Reasoning},\nVOLUME = {21},\nNUMBER = {1},\nPAGES = {113--113},\n}\n'