(2003). Computer science logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003 Vienna, Austria, August 25 - 30, 2003 ; proceedings. Springer. https://doi.org/10.1007/b13224
Chicago Style (17th ed.) CitationComputer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003 Vienna, Austria, August 25 - 30, 2003 ; Proceedings. Berlin u.a: Springer, 2003. https://doi.org/10.1007/b13224.
MLA (9th ed.) CitationComputer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003 Vienna, Austria, August 25 - 30, 2003 ; Proceedings. Springer, 2003. https://doi.org/10.1007/b13224.