Bibtex Entry:
@inproceedings{feamster2003towards, author = "Nick Feamster and Hari Balakrishnan", title = "{Towards a Logic for Wide-Area Internet Routing}", booktitle = {ACM SIGCOMM Workshop on Future Directions in Network Architecture 2003}, year = {2003}, month = {August}, address = {Karlsruhe, Germany} }