Author: Workshop on Computer Science Logic (8th 1994 Kazimierz, Puławy, Poland)