Sixth Annual IEEE Symposium on Logic in Computer Science, July 15-18, 1991, Amsterdam, The Netherlands: proceedings (IEEE Computer Society Press, 1991)