@inproceedings{AK12,
  author    = {G. Avni and O. Kupferman},
  title     = {Parameterized Weighted Containment},
  booktitle = fossacs13,
  series    = lncs,
  volume    = "?",
  publisher = springer,
  pages     = "?",
  year      = {2013}
 }