Declarative smart contracts. - Haoxian Chen 001; Gerald Whitters; Mohammad Javad Amiri; Yuepeng Wang 001; Boon Thau Loo (ESEC/SIGSOFT FSE, 2022)

Incremental Rewriting Modulo SMT. - Gerald Whitters; Vivek Nigam; Carolyn L. Talcott (CADE, 2023)