Bernd Fischer Geoff Sutcliffe Stephan Schulz Empirically Successful Automated Reasoning: Applications Issue. 1 2006 37 J. Autom. Reasoning 1-2 http://dx.doi.org/10.1007/s10817-006-9056-8 db/journals/jar/jar37.html#FischerSS06a