Author: Workshop on Computer Science Logic (6th 1992 San Miniato, Italy)