@inproceedings(NguyenSzalas-CADE-22,
	author="Linh Anh Nguyen and Andrzej Sza\l{}as",
	title="A Tableau Calculus for Regular Grammar Logics with Converse",
	booktitle="Proceedings of CADE-22, LNAI 5663",
	editor="Renate A. Schmidt",
	pages="421-436",
	publisher="Springer-Verlag",
	year=2009
)