Arnaud Dethise, Marco Chiesa, Marco Canini: Prelude: Ensuring Inter-Domain Loop-Freedom in SDN-Enabled Networks. APNet 2018: 50-56