Putting logic-based distributed systems on stable grounds

Tom J. Ameloot, Jan Van den Bussche, William R. Marczak, Peter Alvaro, Joseph M. Hellerstein. Putting logic-based distributed systems on stable grounds. TPLP, 16(4):378-417, 2016. [doi]

Abstract

Abstract is missing.