Author: Workshop on Computer Science Logic (7th 1993 Swansea, Wales)