Selecting the Selection.

Krystof Hoder, Giles Reger, Martin Suda, Andrei Voronkov

Browse the full CADE paper archive.