@inproceedings(GoreNguyen05tab, 
  author    = {Rajeev Gor{\'e} and Linh Anh Nguyen},
  title     = {A Tableau System with Automaton-Labelled Formulae 
               for Regular Grammar Logics}, 
  booktitle = {Proceedings of TABLEAUX 2005, LNAI 3702}, 
  editor    = {B. Beckert}, 
  publisher = {Springer-Verlag},
  pages     = {138-152}, 
  year      = 2005)