On the non-confluence of cut-elimination (0)

by Matthias Baaz, Stefan Hetzl
Venue:Journal of Symbolic Logic