Playing with AVATAR.

Giles Reger, Martin Suda, Andrei Voronkov

Browse the full CADE paper archive.