Ann. Pure Appl. Logic

GPTKB entity