Author: Workshop on Computer Science Logic (11th 1997 Aarhus, Denmark)