SCHRÖDER, Bernhard; KOEPKE, Peter. ProofML – eine Annotationssprache für natürliche Beweise. Journal for Language Technology and Computational Linguistics, [S. l.], v. 18, n. 1, p. 428–441, 2003. DOI: 10.21248/jlcl.18.2003.48. Disponível em: https://jlcl.org/article/view/48. Acesso em: 2 jan. 2025.