@inproceedings{AKT15,
  author    = {G. Avni and O. Kupferman and T. Tamir},
  title     = {Congestion Games with Multisets of Resources and Applications in Synthesis},
  booktitle = fsttcs15, 
  pages     = 365-379,
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  series    = {LIPIcs},
  volume    = 45,
  year      = {2015}
}