%% -*-BibTeX-*-


@InProceedings{ELMW11,
  author       = "T. Ederer and U. Lorenz and A. Martin and J. Wolf",
  booktitle    = "Proceeding ESA 2011",
  title        = "Quantified Linear Programs: {A} Computational Study",
  publisher    = "Springer",
  pages        = "203--214",
  year         = "2011",
}