Ultimate GemCutter and the Axes of Generalization - (Competition Contribution).

Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski

Browse the full TACAS paper archive.