Author: Symposium on Logic in Computer Science (17th 2002 Copenhagen, Denmark)