Representing and Reasoning About Logical Network Topologies. - Shaun Voigt; Catherine Howard; Dean Philp; Christopher Penny (GKR, 2017)