@article{DBLP:journals/sigops/AlvaroCCHS09,
  author       = {Peter Alvaro and
                  Tyson Condie and
                  Neil Conway and
                  Joseph M. Hellerstein and
                  Russell Sears},
  title        = {I do declare: consensus in a logic language},
  journal      = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume       = {43},
  number       = {4},
  pages        = {25--30},
  year         = {2009},
  url          = {https://doi.org/10.1145/1713254.1713261},
  doi          = {10.1145/1713254.1713261},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigops/AlvaroCCHS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"vEE7zAdFfiiB8Fjeq","bibbaseid":"alvaro-condie-conway-hellerstein-sears-idodeclareconsensusinalogiclanguage-2009","author_short":["Alvaro, P.","Condie, T.","Conway, N.","Hellerstein, J. M.","Sears, R."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Peter"],"propositions":[],"lastnames":["Alvaro"],"suffixes":[]},{"firstnames":["Tyson"],"propositions":[],"lastnames":["Condie"],"suffixes":[]},{"firstnames":["Neil"],"propositions":[],"lastnames":["Conway"],"suffixes":[]},{"firstnames":["Joseph","M."],"propositions":[],"lastnames":["Hellerstein"],"suffixes":[]},{"firstnames":["Russell"],"propositions":[],"lastnames":["Sears"],"suffixes":[]}],"title":"I do declare: consensus in a logic language","journal":"ACM SIGOPS Oper. Syst. Rev.","volume":"43","number":"4","pages":"25–30","year":"2009","url":"https://doi.org/10.1145/1713254.1713261","doi":"10.1145/1713254.1713261","timestamp":"Tue, 14 Jul 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/sigops/AlvaroCCHS09.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/sigops/AlvaroCCHS09,\n author = {Peter Alvaro and\n Tyson Condie and\n Neil Conway and\n Joseph M. Hellerstein and\n Russell Sears},\n title = {I do declare: consensus in a logic language},\n journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},\n volume = {43},\n number = {4},\n pages = {25--30},\n year = {2009},\n url = {https://doi.org/10.1145/1713254.1713261},\n doi = {10.1145/1713254.1713261},\n timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/sigops/AlvaroCCHS09.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Alvaro, P.","Condie, T.","Conway, N.","Hellerstein, J. M.","Sears, R."],"key":"DBLP:journals/sigops/AlvaroCCHS09","id":"DBLP:journals/sigops/AlvaroCCHS09","bibbaseid":"alvaro-condie-conway-hellerstein-sears-idodeclareconsensusinalogiclanguage-2009","role":"author","urls":{"Paper":"https://doi.org/10.1145/1713254.1713261"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://dblp.org/pers/tb2/h/Hellerstein:Joseph_M=","dataSources":["3SG8d6TqWdLKqttYB"],"keywords":[],"search_terms":["declare","consensus","logic","language","alvaro","condie","conway","hellerstein","sears"],"title":"I do declare: consensus in a logic language","year":2009}