Declarative Path Finding in Simulated Multi-Layer Multi- Domain Networks Li Xu with help of: Freek Dijkstra, Arie Taal, Paola Grosso, Jeroen van der Ham,
