@misc{indiciae7fba8a6439fd,
  title = {A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory},
  author = {Christoph Lange and Marco B. Caminati and Manfred Kerber and Till Mossakowski and Colin Rowat and Makarius Wenzel and Wolfgang Windsteiger},
  year = {2013},
  url = {https://arxiv.org/abs/1303.4193},
  note = {Source identifier: 1303.4193}
}