U. Furbach, A. Gordon, und 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, Volume 1412 von CEUR Workshop Proceedings, CEUR-WS.org, (2015)
M. Bender, B. Pelzer, und C. Schon. Automated Deduction - CADE-24, 24th International Conference on Automated Deduction, Lake Placid, NY, USA, 2013, Proceedings, Volume 7898 von Lecture Notes in Computer Science, Springer, (2013)
U. Furbach, und C. Schon. Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, 2013, Proceedings, Volume 8123 von Lecture Notes in Computer Science, Springer, (2013)
C. Schon. KI 2011: Advances in Artificial Intelligence, 34th Annual German Conference on AI, Berlin, Germany, 2011. Proceedings, Volume 7006 von Lecture Notes in Computer Science, Springer, (2011)