Author: Workshop on Computer Science Logic (16th 2002 Edinburgh, Scotland)