R. Berardi, M. Schiessl, M. Thimm, и M. Casanova. Proceedings of the 25th International Conference on Database and Expert System Applications (DEXA'14), (сентября 2014)
M. Leinberger, R. Lämmel, и S. Staab. Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, стр. 750--776. Springer, (2017)
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)
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)