Workshop on Computer Science Logic (7th 1993 Swansea, Wales) — Author | Lex | Lex