Susan B. Davidson Hector Garcia-Molina Dale Skeen Consistency in Partitioned Networks. 341-370 1985 17 ACM Comput. Surv. 3 db/journals/csur/csur17.html#DavidsonG85