@inproceedings{DeutschHullPatriziVianu:ICDT:2009,
    Address = {NY, USA},
    Author = {Deutsch, Alin and Hull, Richard and Patrizi, Fabio and Vianu, Victor},
    BookTitle = {Proc. of ICDT'09},
    File = {Automatic Verification of Data-centric Business Processes - Deutsch, Hull, Patrizi, Vianu (0) (0) - a - a - v.pdf},
    ISBN = {978-1-60558-423-2},
    Location = {St. Petersburg, Russia},
    Pages = {252--267},
    Publisher = {ACM},
    Title = {Automatic Verification of Data-centric Business Processes},
    URL = {http://doi.acm.org/10.1145/1514894.1514924},
    Year = {2009},
    acmid = {1514924},
    bdsk-url-1 = {http://doi.acm.org/10.1145/1514894.1514924},
    bdsk-url-2 = {http://dx.doi.org/10.1145/1514894.1514924},
    date-added = {2015-04-02 13:03:19 +0000},
    date-modified = {2015-04-02 13:19:52 +0000},
    file-2 = {Automatic Verification of Data-centric Business Processes - Deutsch, Hull, Patrizi, Vianu (1) (0) - a - a - v.pdf},
    numpages = {16},
    doi = {10.1145/1514894.1514924}
}

@inproceedings{DeutschHullPatriziVianu:ICDT:2009, Address = {NY, USA}, Author = {Deutsch, Alin and Hull, Richard and Patrizi, Fabio and Vianu, Victor}, BookTitle = {Proc. of ICDT'09}, File = {Automatic Verification of Data-centric Business Processes - Deutsch, Hull, Patrizi, Vianu (0) (0) - a - a - v.pdf}, ISBN = {978-1-60558-423-2}, Location = {St. Petersburg, Russia}, Pages = {252--267}, Publisher = {ACM}, Title = {Automatic Verification of Data-centric Business Processes}, URL = {http://doi.acm.org/10.1145/1514894.1514924}, Year = {2009}, acmid = {1514924}, bdsk-url-1 = {http://doi.acm.org/10.1145/1514894.1514924}, bdsk-url-2 = {http://dx.doi.org/10.1145/1514894.1514924}, date-added = {2015-04-02 13:03:19 +0000}, date-modified = {2015-04-02 13:19:52 +0000}, file-2 = {Automatic Verification of Data-centric Business Processes - Deutsch, Hull, Patrizi, Vianu (1) (0) - a - a - v.pdf}, numpages = {16}, doi = {10.1145/1514894.1514924} }