%0 Journal Article %J IEEE Trans. Software Eng. %D 1985 %T Symbolic Semantics and Program Reduction %A Vincenzo Ambriola %A Fosca Giannotti %A Dino Pedreschi %A Franco Turini %B IEEE Trans. Software Eng. %V 11 %P 784-794 %G eng