Elena Giachino et al.: Causal-consistent rollback in a tuple-based language. (2017)journals/jlp/GiachinoLMT1710.1016/J.JLAMP.2016.09.003Causal-consistent rollback in a tuple-based language.4Elena Giachino1Ivan Lanese2Claudio Antares Mezzina3Francesco Tiezzi 0001499-120J. Log. Algebraic Methods Program.J. Log. Algebraic Methods Program.882017provenance information for RDF data of dblp record 'journals/jlp/GiachinoLMT17'2021-05-20T14:31:18+0200