TY  - RPRT
TI  - A Deductive System for Contract Satisfaction Proofs
AU  - Arthur Correnson
AU  - Haoyi Zeng
AU  - Jana Hofmann
PY  - 2026
UR  - https://arxiv.org/abs/2604.09165
ID  - 2604.09165
ER  -