New Directions in Instantiation-Based Theorem Proving.

Harald Ganzinger, Konstantin Korovin

Browse the full LICS paper archive.