Proceedings of the sixth annual IEEE Symposium on Logic in Computer Science : Amsterdam, the Netherlands, Juli 15 - 18, 1991 - Hutchins, Wally (Hrsg.); Symposium on Logic in Computer Science (6 : 1991 : Amsterdam) (IEEE Computer Soc. Press, 1991)