Author

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