Text this: Sixth Annual IEEE Symposium on Logic in Computer Science, July 15-18, 1991, Amsterdam, The Netherlands: