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}
}