J. Symb. Comput.

GPTKB entity