@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)