R. Berardi, M. Schiessl, M. Thimm, and M. Casanova. Proceedings of the 25th International Conference on Database and Expert System Applications (DEXA'14), (September 2014)
M. Leinberger, R. Lämmel, and 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, page 750--776. Springer, (2017)
U. Furbach, A. Gordon, and 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 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)
M. Bender, B. Pelzer, and C. Schon. Automated Deduction - CADE-24, 24th International Conference on Automated Deduction, Lake Placid, NY, USA, 2013, Proceedings, volume 7898 of Lecture Notes in Computer Science, Springer, (2013)