@INPROCEEDINGS{arec:tabl09,
  author = {Areces, C. and Figueira, D. and Gorin, D. and Mera, S.},
  title = {Tableaux and Model Checking for Memory Logics},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods},
  year = {2009},
  volume = {5607},
  series = {LNAI},
  pages = {47--61},
  address = {Oslo, Norway},
  publisher = {Springer Berling / Heidelberg},
  note = {Proceedings of Tableaux09},
  editors = {M. Giese and A. Waaler}
}