1. Ahrendt, W., Baar, T., Beckert, B., Bubel, R., Giese, M., Hähnle, R., Menzel, W., Mostowski, W., Roth, A., Schlager, S., Schmitt, P.: The KeY Tool. Software and System Modeling 4, 32–54 (2005)
2. Buswell, S., Caprotti, O., Carlisle, D., Dewar, M., Gaetano, M., Kohlhase, M.: The Open Math Standard, Version 2.0. Technical report, The Open Math Society (2004), http://www.openmath.org/standard/om20
3. Boespflug, M., Carbonneaux, Q., Hermant, O.: The λΠ-calculus modulo as a universal proof language. In: Pichardie, D., Weber, T. (eds.) Proceedings of PxTP 2012: Proof Exchange for Theorem Proving, pp. 28–43 (2012)
4. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press (1999)
5. Davenport, J.: A small OpenMath type system. Bulletin of the ACM Special Interest Group on Symbolic and Automated Mathematics (SIGSAM) 34(2), 16–21 (2000)