Sid Ahmed Ali Touati Denis Barthou On the decidability of phase ordering problem in optimizing compilation. 147-156 2006 conf/cf/2006 Conf. Computing Frontiers http://doi.acm.org/10.1145/1128022.1128042 db/conf/cf/cf2006.html#TouatiB06