b'@inproceedings{Baumgartner:etal:Darwin:ESFOR:2004,'b"\nTITLE = {Darwin: A Theorem Prover for the Model Evolution Calculus},\nAUTHOR = {Baumgartner, Peter and Fuchs, Alexander and Tinelli, Cesare},\nEDITOR = {Schulz, Stephan and Tammet, Tanel and Sutcliffe, Geoff},\nLANGUAGE = {eng},\nLOCALID = {Local-ID: C1256104005ECAFC-885D50EF8A8E0550C1256F8C00475D39-Baumgartner:etal:Darwin:ESFOR:2004},\nPUBLISHER = {UCC},\nYEAR = {2004},\nDATE = {2004},\nBOOKTITLE = {Proceedings of the 1st Workshop on Empirically Successful First Order Reasoning (ESFOR'04)},\nPAGES = {1--24},\nSERIES = {IJCAR 2004 Workshop Proceedings},\n}\n"