Author: Workshop on Computer Science Logic (1st 1987 Karlsruhe, Germany)