Symposium on Logic in Computer Science (14th 1999 Trento, Italy) — Author | Lex | Lex