TY  - RPRT
TI  - Stratified Certification for k-Induction
AU  - Emily Yu
AU  - Nils Froleyks
AU  - Armin Biere
AU  - Keijo Heljanko
PY  - 2022
UR  - https://arxiv.org/abs/2208.01443
ID  - 2208.01443
ER  -