Symposium on Logic in Computer Science (6th 1991 Amsterdam, The Netherlands)