@inproceedings{wu-2013-negative-provenance,
  author = {Yang Wu and Andreas Haeberlen and Wenchao Zhou and Boon Thau Loo},
  title = {Answering Why-Not Queries in Software-Defined Networks with Negative Provenance},
  booktitle = {Proceedings of the 12th ACM Workshop on Hot Topics in Networks (HotNets-XII)},
  location = {College Park, MD},
  month = nov,
  year = 2013
}