SpringerLink (Online service), Baaz, M., & Makowsky, J. M. (2003). Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings (1st ed. 2003.). Springer Berlin Heidelberg : Imprint: Springer. https://doi.org/10.1007/b13224
Chicago Style (17th ed.) CitationSpringerLink (Online service), Matthias Baaz, and Johann M. Makowsky. Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings. 1st ed. 2003. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2003. https://doi.org/10.1007/b13224.
MLA (8th ed.) CitationSpringerLink (Online service), et al. Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings. 1st ed. 2003. Springer Berlin Heidelberg : Imprint: Springer, 2003. https://doi.org/10.1007/b13224.