Budget imbalance criteria for auctions: a formalized theorem

Caminati, Marco B and Kerber, Manfred and Rowat, Colin (2014) Budget imbalance criteria for auctions: a formalized theorem. In: Trends in Contemporary Computer Science :. arXiv preprint arXiv:1412.0542 . Bialystok University of Technology Publishing Office. ISBN 978-83-62582-58-7