Workshop on Computer Science Logic. <i>Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : Proceedings</i>. Springer, 2002.