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