Making Theory Reasoning Simpler.

Giles Reger, Johannes Schoisswohl, Andrei Voronkov

Browse the full TACAS paper archive.