Truthful optimization using mechanisms with verification
scientific article; zbMATH DE number 6244495
scientific article