@inproceedings{DBLP:conf/sigecom/CaragiannisESY12,
  author    = {Ioannis Caragiannis and
               Edith Elkind and
               Mario Szegedy and
               Lan Yu},
  title     = {Mechanism design: from partial to probabilistic verification},
  booktitle = {ACM Conference on Electronic Commerce},
  year      = {2012},
  pages     = {266-283},
  ee        = {http://doi.acm.org/10.1145/2229012.2229035},
  crossref  = {DBLP:conf/sigecom/2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sigecom/2012,
  editor    = {Boi Faltings and
               Kevin Leyton-Brown and
               Panos Ipeirotis},
  title     = {ACM Conference on Electronic Commerce, EC '12, Valencia,
               Spain, June 4-8, 2012},
  booktitle = {ACM Conference on Electronic Commerce},
  publisher = {ACM},
  year      = {2012},
  isbn      = {978-1-4503-1415-2},
  ee        = {http://dl.acm.org/citation.cfm?id=2229012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}