@inproceedings(GoreNguyen08CSP, 
  author      = {Rajeev Gor{\'e} and Linh Anh Nguyen}, 
  title       = {Sound Global Caching for Abstract Modal Tableaux}, 
  booktitle   = {Proceedings of CS\&P'2008}, 
  editor      = {Gabriela Lindemann et al.}, 
  pages       = {157-167},
  year        = 2008
)