Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning.

Giles Reger, Martin Suda, Andrei Voronkov

Browse the full TACAS paper archive.