J. Knoop, O. Rüthing:
"Constant Propagation on Predicated Code";
Journal of Universal Computer Science, 9, 8 ( S.829-850) (2003).
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04968341Electronic version of the publication:
http://www.jucs.org/jucs_9_8/constant_propagation_on_predicated