Integrating Equational Reasoning into Instantiation-Based Theorem Proving.

Harald Ganzinger, Konstantin Korovin

Browse the full CSL paper archive.