@inproceedings{Bauer_BMN_13,
    address          = {Nancy, France},
    author           = {Bauer, Andreas and Baumgartner, Peter and Martin, Diller and Norrish, Michael},
    booktitle        = {Automated Reasoning with Analytic Tableaux and Related Methods},
    doi              = {10.1007/978-3-642-40537-2_5},
    editor           = {{Didier Galmiche and Dominique Larchey-Wendling}},
    keywords         = {model checking, first-order logic, business processes},
    month            = sep,
    pages            = {28--43},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/6988.pdf},
    publisher        = {Springer},
    title            = {Tableaux for Verification of Data-Centric Processes},
    year             = {2013}
  }