POPL 1986

GPTKB entity