Normalisation control in deep inference via atomic flows (0)

by A Guglielmi, T Gundersen
Venue:Logical Methods in Computer Science