Anduo Wang, Zhijia Chen. A Logical Approach to Representing and Reasoning About Interdomain Routing Policies. In Mario Alviano, Andreas Pieris, editors, Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019, Philadelphia, PA (USA), June 4-5, 2019. Volume 2368 of CEUR Workshop Proceedings, pages 68-79, CEUR-WS.org, 2019. [doi]
@inproceedings{WangC19-15,
title = {A Logical Approach to Representing and Reasoning About Interdomain Routing Policies},
author = {Anduo Wang and Zhijia Chen},
year = {2019},
url = {http://ceur-ws.org/Vol-2368/paper7.pdf},
researchr = {https://researchr.org/publication/WangC19-15},
cites = {0},
citedby = {0},
pages = {68-79},
booktitle = {Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019, Philadelphia, PA (USA), June 4-5, 2019},
editor = {Mario Alviano and Andreas Pieris},
volume = {2368},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}