Author: Workshop on Computer Science Logic (20th 2006 Szeged, Hungary)