@Article{Laurent17a,
  author  = {Olivier Laurent},
  title   = {Focusing in Orthologic},
  journal = {Logical Methods in Computer Science},
  volume  = {13},
  number  = {3},
  pages   = {6},
  month   = jul,
  year    = {2017}
}