@article{jlog17,
  author    = {Patrick Blackburn and
               Thomas Bolander and
               Torben Bra{\"{u}}ner and
               Klaus Frovin J{\o}rgensen},
  title     = {{C}ompleteness and {T}ermination for a {S}eligman-style {T}ableau {S}ystem},
  journal   = {Journal of Logic and Computation},
  volume    = {27},
  number    = {1},
  pages     = {81--107},
  year      = {2017}
}

@inproceedings{aiml16,
  author    = {Klaus Frovin J{\o}rgensen and
               Patrick Blackburn and
               Thomas Bolander and
               Torben Bra{\"{u}}ner},
  title     = {{S}ynthetic {C}ompleteness {P}roofs for {S}eligman-style {T}ableau {S}ystems},
  booktitle = {Advances in Modal Logic},
  volume    = {11},
  pages     = {302--321},
  year      = {2016}
}
