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