Superposition with Delayed Unification.

Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson

Browse the full CADE paper archive.