Journal of Symbolic Computation

GPTKB entity