@INPROCEEDINGS{infocom18prefix,
  author = {Stefan Schmid and Jiri Srba},
  title = {Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks},
  booktitle = {Proc. IEE INFOCOM},
  year = {2018},
}