Journal of Logic and Computation

GPTKB entity