CSL 2001 Paris, France, European Association for Computer Science Logic. Conference, & Fribourg, L. (2001). Computer science logic: 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings. Springer.
Chicago Style (17th ed.) CitationCSL 2001 Paris, France, European Association for Computer Science Logic. Conference, and Laurent Fribourg. Computer Science Logic: 15th International Workshop, CSL 2001, 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 : Proceedings. Berlin : New York: Springer, 2001.
MLA (9th ed.) CitationCSL 2001 Paris, France, et al. Computer Science Logic: 15th International Workshop, CSL 2001, 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 : Proceedings. Springer, 2001.