Author: Symposium on Logic in Computer Science (13th 1998 Indianapolis, Ind.)