1. Autexier, S., 2003. Hierarchical contextual reasoning. Ph.D. Thesis, FR Informatik, Saarland Univ.
2. On the dynamic increase of multiplicities in matrix proof methods for classical higher-order logic;Autexier,2005
3. Autexier, S., Benzmüller, Ch., Brown, C.E., Fiedler, A., Hutter, D., Meier, A., Pollet, M., Rock, G., Schmidt-Samoa, T., Siekmann, J., Stephan, W., Wagner, M., Wirth, C.-P., 2004/05. Mathematics Assistance Systems. In: Lectures Winter Term 2004/05. Universität des Saarlandes. URL: http://www.ags.uni-sb.de/~omega/teach/MAS0405.
4. Autexier, S., Benzmüller, Ch., Dietrich, D., Meier, A., Wirth, C.-P., 2006. A generic modular data structure for proof attempts alternating on ideas and granularity. In: Kohlhase (2006), pp. 126–142. URL: http://www.ags.uni-sb.de/~cp/p/pds.
5. Avenhaus, J., Kühler, U., Schmidt-Samoa, T., Wirth, C.-P., 2003. How to prove inductive theorems? QuodLibet ! In: Baader (2003) pp. 328-333. URL: http://www.ags.uni-sb.de/~cp/p/quodlibet.