Author: Workshop on Computer Science Logic (2nd 1988 Duisburg, Germany)