ESOP 2001On the Complexity of Constant PropagationMarkus Müller-Olm, Oliver RüthingPDFDOI 10.1007/3-540-45309-1_13dblpBibTeXAbstract elided by the publisher.