Hercule: Representing and Reasoning About Norms as a Foundation for Declarative Contracts Over Blockchain[J] IEEE INTERNET COMPUTING 2021(25) Christie, Samuel H., V Singh, Munindar P. Chopra, Amit K.
