Evaluation of Systems for Higher-order Logic (ESHOL).

Christoph Benzmller, Florian Rabe, Carsten Schrmann, Geoff Sutcliffe

Browse the full CADE paper archive.