Author: Workshop on Computer Science Logic (17th 2003 Vienna, Austria)