TY  - RPRT
TI  - Budget Imbalance Criteria for Auctions: A Formalized Theorem
AU  - Marco B. Caminati
AU  - Manfred Kerber
AU  - Colin Rowat
PY  - 2014
UR  - https://arxiv.org/abs/1412.0542
ID  - 1412.0542
ER  -