John Hopcroft

GPTKB entity