Author: Workshop on Computer Science Logic (2001 Paris, France)