EATCS Presburger Award

GPTKB entity