@misc{indiciaeed51d7c74916,
  title = {Declarative Smart Contracts},
  author = {Haoxian Chen and Gerald Whitters and Mohammad Javad Amiri and Yuepeng Wang and Boon Thau Loo},
  year = {2022},
  url = {https://arxiv.org/abs/2207.13827},
  note = {Source identifier: 2207.13827}
}