Exported entries (BibTeX)

Export more entries in BibTeX to add them to this list.

@book{Negri2001-NEGSPT-3,
	publisher = {Cambridge University Press},
	author = {Sara Negri and Jan von Plato and Aarne Ranta},
	year = {2001},
	title = {Structural Proof Theory}
}