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