Logic-based Distributed Routing Research Articles