Jan Aldert Bergstra

GPTKB entity