M. Bender, B. Pelzer, и C. Schon. Automated Deduction - CADE-24, 24th International Conference on Automated Deduction, Lake Placid, NY, USA, 2013, Proceedings, том 7898 из Lecture Notes in Computer Science, Springer, (2013)
U. Furbach, A. Gordon, и C. Schon. Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - A workshop of the 25th International Conference on Automated Deduction - CADE-25, Berlin, Germany, 2015, том 1412 из CEUR Workshop Proceedings, CEUR-WS.org, (2015)
U. Furbach, и C. Schon. Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, 2013, Proceedings, том 8123 из Lecture Notes in Computer Science, Springer, (2013)
U. Furbach, и C. Schon. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, том 9060 из Lecture Notes in Computer Science, стр. 63--80. Springer, (2015)
U. Furbach, B. Pelzer, и C. Schon. Automated Deduction - CADE-25, том 9195 из Lecture Notes in Computer Science, Springer International Publishing, (2015)
U. Furbach, C. Schon, и F. Stolzenburg. Multi-disciplinary Trends in Artificial Intelligence - 8th International Workshop, MIWAI 2014, Bangalore, India, December 8-10, 2014. Proceedings, том 8875 из Lecture Notes in Computer Science, стр. 57--68. Springer, (2014)
C. Obermaier, и M. Wagner. Proceedings of the Eleventh conference on Congress on Evolutionary Computation, стр. 1463--1469. Piscataway, NJ, USA, IEEE Press, (2009)
C. Schon. KI 2011: Advances in Artificial Intelligence, 34th Annual German Conference on AI, Berlin, Germany, 2011. Proceedings, том 7006 из Lecture Notes in Computer Science, Springer, (2011)