Computer Science Logic : 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings - Laurent Fribourg ((Lecture Notes in Computer Science))