Focusing Gentzen's LK proof system. Liang, C. & Miller, D. In Peter Schroeder-Heister on Proof-Theoretic Semantics, of Outstanding Contributions to Logic. Springer, 2021.
bibtex   
@incollection{liang21unp,
  author = {Chuck Liang and Dale Miller},
  title = {Focusing {Gentzen's} {LK} proof system},
  booktitle = {Peter Schroeder-Heister on Proof-Theoretic
                  Semantics},
  editors = {Thomas Piecha and Kai Wehmeier},
  series = {Outstanding Contributions to Logic},
  publisher = {Springer},
  year = {2021}
}

Downloads: 0