@book{0005072,
  title = {Structural proof theory},
  author = {Sara Negri and Jan von Plato},
  year = {2001},
  researchr = {https://researchr.org/publication/0005072},
  cites = {0},
  citedby = {0},
  publisher = {Cambridge University Press},
  isbn = {978-0-521-79307-0},
}