Author: Workshop on Computer Science Logic (12th 1998 Brno, Czech Republic)