POPL 1997

GPTKB entity