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