[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science