BibTeX Export

@article{Authenticus:P-00Q-0K9,
	title = {{Towards a pseudoequational proof theory}},
	author = {J Almeida and O Klima},
	doi = {10.4171/pm/2012},
	journal = {Portugaliae Mathematica},
	number = {2},
	pages = {79-119},
	publisher = {European Mathematical Soc},
	type = {Article},
	volume = {75},
	year = {2018}
}