Author: Fla.) Symposium on Foundations of Computer Science (38th : 1997 : Miami Beach