B. Schröder and P. Koepke, “ProofML – eine Annotationssprache für natürliche Beweise”, JLCL, vol. 18, no. 1, pp. 428–441, Jul. 2003.