Author: Symposium on Logic in Computer Science (14th 1999 Trento, Italy)