IEEE Symposium on Logic in Computer Science

GPTKB entity