Author: Workshop on Computer Science Logic (10th 1996 Utrecht, Netherlands)