Robert John Aumann

GPTKB entity