@article {DBLP:journals/tse/AmbriolaGPT85, title = {Symbolic Semantics and Program Reduction}, journal = {IEEE Trans. Software Eng.}, volume = {11}, number = {8}, year = {1985}, pages = {784-794}, author = {Vincenzo Ambriola and Fosca Giannotti and Dino Pedreschi and Franco Turini} }