Logic-Based Smart Contracts. - Adriana Stancu; Mihaita Dragan (WorldCIST (1), 2020)