Christoph Benzmüller Florian Rabe Carsten Schürmann Geoff Sutcliffe Evaluation of Systems for Higher-order Logic (ESHOL). 2008 PAAR/ESHOL http://ceur-ws.org/Vol-373/invited-4.pdf conf/cade/2008paar db/conf/cade/paar2008.html#BenzmullerRSS08