@article{DBLP:journals/sigmod/WhittakerH20,
  author       = {Michael J. Whittaker and
                  Joseph M. Hellerstein},
  title        = {Checking Invariant Confluence, In Whole or In Parts},
  journal      = {{SIGMOD} Rec.},
  volume       = {49},
  number       = {1},
  pages        = {7--14},
  year         = {2020},
  url          = {https://doi.org/10.1145/3422648.3422651},
  doi          = {10.1145/3422648.3422651},
  timestamp    = {Fri, 25 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigmod/WhittakerH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"3TDbngaci6xXT6Y6F","bibbaseid":"whittaker-hellerstein-checkinginvariantconfluenceinwholeorinparts-2020","author_short":["Whittaker, M. J.","Hellerstein, J. M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael","J."],"propositions":[],"lastnames":["Whittaker"],"suffixes":[]},{"firstnames":["Joseph","M."],"propositions":[],"lastnames":["Hellerstein"],"suffixes":[]}],"title":"Checking Invariant Confluence, In Whole or In Parts","journal":"SIGMOD Rec.","volume":"49","number":"1","pages":"7–14","year":"2020","url":"https://doi.org/10.1145/3422648.3422651","doi":"10.1145/3422648.3422651","timestamp":"Fri, 25 Feb 2022 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/sigmod/WhittakerH20.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/sigmod/WhittakerH20,\n author = {Michael J. Whittaker and\n Joseph M. Hellerstein},\n title = {Checking Invariant Confluence, In Whole or In Parts},\n journal = {{SIGMOD} Rec.},\n volume = {49},\n number = {1},\n pages = {7--14},\n year = {2020},\n url = {https://doi.org/10.1145/3422648.3422651},\n doi = {10.1145/3422648.3422651},\n timestamp = {Fri, 25 Feb 2022 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/sigmod/WhittakerH20.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Whittaker, M. J.","Hellerstein, J. M."],"key":"DBLP:journals/sigmod/WhittakerH20","id":"DBLP:journals/sigmod/WhittakerH20","bibbaseid":"whittaker-hellerstein-checkinginvariantconfluenceinwholeorinparts-2020","role":"author","urls":{"Paper":"https://doi.org/10.1145/3422648.3422651"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://dblp.org/pers/tb2/h/Hellerstein:Joseph_M=","dataSources":["3SG8d6TqWdLKqttYB"],"keywords":[],"search_terms":["checking","invariant","confluence","whole","parts","whittaker","hellerstein"],"title":"Checking Invariant Confluence, In Whole or In Parts","year":2020}