Author: Workshop on Computer Science Logic (4th 1990 Heidelberg, Germany)