Local checkability, no strings attached: (a)cyclicity, reachability, loop free updates in SDNs
scientific article; zbMATH DE number 6820651
scientific article