Title: Sixth Annual IEEE Symposium on Logic in Computer Science: Proceedings, July 15-18, 1991