Formalizing and Reasoning About Supply Chain Contracts Between Agents. - Dylan Flynn; Chasity Nadeau; Jeannine Shantz; Marcello Balduccini; Tran Cao Son; Edward R. Griffor (PADL, 2023)

A Simulation for Supply Chains Contract Execution. - Long Tran-Thanh; Tran Cao Son; Dylan Flynn; Marcello Balduccini (LPNMR, 2024)