TY  - RPRT
TI  - (Co)inductive Proof Systems for Compositional Proofs in Reachability Logic
AU  - Vlad Rusu
AU  - David Nowak
PY  - 2019
DO  - 10.4204/eptcs.303.3
UR  - https://arxiv.org/abs/1909.01744
ID  - 1909.01744
ER  -