Bill Marino, Ari Juels. Setting Standards for Altering and Undoing Smart Contracts. In José Júlio Alferes, Leopoldo E. Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman, editors, Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings. Volume 9718 of Lecture Notes in Computer Science, pages 151-166, Springer, 2016. [doi]
Abstract is missing.