A Higher-Order Vampire (Short Paper).

Ahmed Bhayat, Martin Suda

Browse the full IJCAR paper archive.