Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma. Modeling Smart Contracts with Probabilistic Logic Programming. In Witold Abramowicz, Gary Klein 0001, editors, Business Information Systems Workshops - BIS 2020 International Workshops, Colorado Springs, CO, USA, June 8-10, 2020, Revised Selected Papers. Volume 394 of Lecture Notes in Business Information Processing, pages 86-98, Springer, 2020. [doi]