Journal of Logic Programming

GPTKB entity