[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science