Geoff Sutcliffe Josef Urban Stephan Schulz Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007 ESARLT CEUR-WS.org CEUR Workshop Proceedings 257 2007 db/conf/cade/esarlt2007.html