@book{1709040,
	author = {Negri/von Plato/Ranta},
	title = {Structural Proof Theory },
	publisher = {Cambridge University Press},
	url = {https://doi.org/10.1017/CBO9780511527340}
}