Symposium on Logic in Computer Science (11th 1996 New Brunswick, N.J.)