Author: Workshop on Computer Science Logic (17th 2003 Vienna University of Technology)