Spain) Workshop on Computer Science Logic (13th 1999 Madrid