Schröder, Bernhard, and Peter Koepke. 2003. “ProofML – Eine Annotationssprache für natürliche Beweise”. Journal for Language Technology and Computational Linguistics 18 (1):428-41. https://doi.org/10.21248/jlcl.18.2003.48.