TY  - CHAP
AU  - Flynn, Dylan
AU  - Nadeau, Chasity
AU  - Shantz, Jeannine
AU  - Balduccini, Marcello
AU  - Son, Tran
AU  - Griffor, Edward
C2  - International Symposium on Practical Aspects of Declarative Languages, Springer, New York, NY
DA  - 2023-01-08 05:01:00
DO  - https://doi.org/10.1007/978-3-031-24841-2_10
LA  - en
PB  - International Symposium on Practical Aspects of Declarative Languages, Springer, New York, NY
PY  - 2023
TI  - Formalizing and Reasoning about Supply Chain Contracts between Agents
ER  -