You are about to access our book library "LOGIC IN COMPUTER SCIENCE, Proceedings of 11th Annual IEEE Symposium on, 27-30 July 1996, New Brunswick, New Jersey full version" .