From proofs to focused proofs: a modular proof of focalization in linear logic (2007)

by D Miller, A Saurin
Venue:CSL 2007: Computer Science Logic, volume 4646 of LNCS