Nishant Sinha: Symbolic Program Analysis Using Term Rewriting and Generalization. FMCAD 2008: 1-9