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