Author: Symposium on Logic in Computer Science (15th 2000 Santa Barbara, California)