@inproceedings{NguyenSzalas09KSE,
  author    = {Linh Anh Nguyen and Andrzej Sza\l{}as},
  title     = {An Optimal Tableau Decision Procedure for {Converse-PDL}},
  booktitle = {Proceedings of KSE'2009},
  editor    = {N.-T. Nguyen and T.-D. Bui and E. Szczerbicki and N.-B. Nguyen},
  pages     = {207-214},
  publisher = {IEEE Computer Society},
  year      = {2009}
}