On legal contracts, imperative and declarative smart contracts, and blockchain systems[J] ARTIFICIAL INTELLIGENCE AND LAW 2018(26) Governatori, Guido Idelberger, Florian Milosevic, Zoran Riveret, Regis Sartor, Giovanni Xu, Xiwei
