@inproceedings(nguyen00B5, 
  author    = {Linh Anh Nguyen},
  title     = {Sequent-like Tableau Systems with the Analytic Superformula 
               Property for the Modal Logics {KB}, {KDB}, {K5}, {KD5}}, 
  booktitle = {Roy Dyckhoff (Ed.), Proceedings of TABLEAUX 2000, LNCS 1847},
  pages     = {341-351}, 
  publisher = {Springer},
  year      = 2000)