Reasoning with Quantifiers and Theories Using Saturation-Based Reasoning.

Andrei Voronkov

Browse the full SYNASC paper archive.