@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}
}
