Vinter: A Vampire-Based Tool for Interpolation.

Krystof Hoder, Andreas Holzer, Laura Kovcs, Andrei Voronkov

Browse the full APLAS paper archive.