Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers.

Tomer Libal, Alexander Steen

Browse the full CADE paper archive.