@inbook{1206191,
  author = {Dylan Flynn and Chasity Nadeau and Jeannine Shantz and Marcello Balduccini and Tran Son and Edward Griffor},
  title = {Formalizing and Reasoning about Supply Chain Contracts between Agents},
  year = {2023},
  month = {2023-01-08 05:01:00},
  publisher = {International Symposium on Practical Aspects of Declarative Languages, Springer, New York, NY},
  doi = {https://doi.org/10.1007/978-3-031-24841-2_10},
  language = {en},
}