TY  - RPRT
TI  - Enabling Automatic Certification of Online Auctions
AU  - Wei Bai
AU  - Emmanuel M. Tadjouddine
AU  - Yu Guo
PY  - 2014
DO  - 10.4204/eptcs.147.9
UR  - https://arxiv.org/abs/1404.0854
ID  - 1404.0854
ER  -