TY  - RPRT
TI  - A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
AU  - Christoph Lange
AU  - Marco B. Caminati
AU  - Manfred Kerber
AU  - Till Mossakowski
AU  - Colin Rowat
AU  - Makarius Wenzel
AU  - Wolfgang Windsteiger
PY  - 2013
UR  - https://arxiv.org/abs/1303.4193
ID  - 1303.4193
ER  -