Symposium on Logic in Computer Science (2nd 1987 Ithaca, N.Y.)