%% -*-BibTeX-*-


@InProceedings{ELOW11,
  author       = "T. Ederer and U. Lorenz and T. Opfer and J. Wolf",
  booktitle    = "ACG 13",
  title        = "Modelling Games with the help of Quantified Integer Linear Programs",
  publisher    = "Springer",
  year         = "2011",
}