Symposium on Logic in Computer Science (10th 1995 San Diego, Calif.)