@InProceedings{Laurent16,
  author    = {Olivier Laurent},
  title     = {Focusing in Orthologic},
  booktitle = {1st International Conference on Formal Structures for Computation and Deduction (FSCD)},
  editor    = {Delia Kesner and Brigitte Pientka},
  volume    = {52},
  series    = {Leibniz International Proceedings in Informatics (LIPIcs)},
  pages     = {25:1--17},
  publisher = {Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik},
  month     = jun,
  year      = {2016}
}