Title: 11th Annual IEEE Symposium on Logic in Computer Science: July 27-30, 1996 New Brunswick, New Jersey