Peter Koepke, Bernhard Schröder. ProofML - eine Annotationssprache für natürliche Beweise. LDV Forum, 18(1/2):428-441, 2003. [doi]
@article{KoepkeS03,
title = {ProofML - eine Annotationssprache für natürliche Beweise},
author = {Peter Koepke and Bernhard Schröder},
year = {2003},
url = {http://ariadne.coli.uni-bielefeld.de/gldv/site/2003_Doppelheft/428-441_Koepke_Schroeder.pdf},
researchr = {https://researchr.org/publication/KoepkeS03},
cites = {0},
citedby = {0},
journal = {LDV Forum},
volume = {18},
number = {1/2},
pages = {428-441},
}