TY  - RPRT
TI  - Towards a pseudoequational proof theory
AU  - Jorge Almeida
AU  - Ondřej Klíma
PY  - 2017
DO  - 10.4171/pm/2012
UR  - https://arxiv.org/abs/1708.09681
ID  - 1708.09681
ER  -