Towards consistent software defined networking with logic programming. - Eric Lui; Yu-Sung Wu; Patrick Ngai; Tung-Yueh Lin; Hong-Wei Li; Shih-Yi Huang (APNOMS, 2015)