Schröder, Bernhard, and Peter Koepke. “ProofML – Eine Annotationssprache für natürliche Beweise”. Journal for Language Technology and Computational Linguistics 18, no. 1 (July 1, 2003): 428–441. Accessed January 2, 2025. https://jlcl.org/article/view/48.