On the Zero-Inequivalence Problem for Loop Programs.

Oscar H. Ibarra Brian S. Leininger On the Zero-Inequivalence Problem for Loop Programs. 47-64 1983 26 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss26.html#IbarraL83