Sine Qua Non for Large Theory Reasoning.

Krystof Hoder, Andrei Voronkov

Browse the full CADE paper archive.