TY - RPRT TI - Putting Logic-Based Distributed Systems on Stable Grounds AU - Tom J. Ameloot AU - Jan Van den Bussche AU - William R. Marczak AU - Peter Alvaro AU - Joseph M. Hellerstein PY - 2015 DO - 10.1017/s1471068415000381 UR - https://arxiv.org/abs/1507.05539 ID - 1507.05539 ER -