Author: Workshop on Computer Science Logic (9th 1995 Paderborn, Germany)