V.  Ambriola, Giannotti, F., Pedreschi, D., and Turini, F., ?Symbolic Semantics and Program Reduction?, IEEE Trans. Software Eng., vol. 11, pp. 784-794, 1985.