"(Co)inductive Proof Systems for Compositional Proofs in Reachability Logic."

Vlad Rusu, David Nowak (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics