Schröder, B. and Koepke, P. (2003) “ProofML – eine Annotationssprache für natürliche Beweise”, Journal for Language Technology and Computational Linguistics, 18(1), pp. 428–441. doi: 10.21248/jlcl.18.2003.48.