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)