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, B. Pelzer, и C. Schon. Automated Deduction - CADE-25, том 9195 из Lecture Notes in Computer Science, Springer International Publishing, (2015)