Martin Köhler, Klaus Schneider: Inductive Proof Rules Beyond Safety Properties. MBMV 2019: 1-9