Coming to terms with quantified reasoning.

Laura Kovcs, Simon Robillard, Andrei Voronkov

Browse the full POPL paper archive.