TY - JOUR T1 - Symbolic Semantics and Program Reduction JF - IEEE Trans. Software Eng. Y1 - 1985 A1 - Vincenzo Ambriola A1 - Fosca Giannotti A1 - Dino Pedreschi A1 - Franco Turini VL - 11 ER -