Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe. Evaluation of Systems for Higher-order Logic (ESHOL). In Boris Konev, Renate A. Schmidt, Stephan Schulz, editors, Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008. Volume 373 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]
Abstract is missing.