Towards a pseudoequational proof theory

TitleTowards a pseudoequational proof theory
Publication TypePreprint
AuthorsAlmeida J, Klíma O
[2017-9]