42nd IEEE Symposium on Foundations of Computer Science

GPTKB entity