@inproceedings{TABLEAUX13:bauer:baumgartner:diller:norrish,
  author =	 {Andreas Bauer and Peter Baumgartner and Martin Diller and Michael Norrish},
  title =	 {Tableaux for Verification of Data-Centric Processes},
  editor =       {D. Galmiche and D. Larchey-Wendling},
  booktitle =    {Proceedings of the 22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)},
  series =	 {Lecture Notes in Computer Science},
  volume =	 8123,
  pages =        {28--43},
  year =	 2013,
  month =	 Sep,
  publisher =    {Springer-Verlag},
  address =      {Berlin, Heidelberg}
}