Breaking Paths in Atomic Flows for Classical Logic.

Alessio Guglielmi, Tom Gundersen, Lutz Straburger

Browse the full LICS paper archive.