Jinping Yu, Xinxin Fan, Guoqiang Zhang, Jingping Bi: Scheduling loop-free updates for multiple policies with overlaps in software-defined networks. IPCCC 2017: 1-8