TY  - RPRT
TI  - Extensible Proof Systems for Infinite-State Systems
AU  - Jeroen J. A. Keiren
AU  - Rance Cleaveland
PY  - 2022
DO  - 10.1145/3622786
UR  - https://arxiv.org/abs/2207.12953
ID  - 2207.12953
ER  -