"Coming to Terms with Quantified Reasoning."

Laura Kovács, Simon Robillard, Andrei Voronkov (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics