Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 (IEEE Computer Society Press, 1992)