Author: Symposium on Logic in Computer Science (16th 2001 Boston, Mass.)