Author: Symposium on Logic in Computer Science (10th 1995 San Diego)