J. Symb. Log.

GPTKB entity