L. Kovacs, “Symbol Elimination for Automated Generation of Program Properties”, ECEASST, vol. 70, Nov. 2014.