Kovacs, L. Symbol Elimination for Automated Generation of Program Properties. ECEASST 2014, 70.