Arch. Math. Log.

GPTKB entity