Symbolic Computation + Satisfiability Checking (SC^2) Track Invited Paper at CASC 2016
IJCAI 'Sister Conference Best Paper Track' Invited Paper 2016
CADE 2015 Paper on MathCheck selected for JAR Special Issue on Best Papers at CADE 2015