Truthful mechanisms with implicit payment computation · Study