@inproceedings{YuFroleyksBiereHeljanko-MBMV23,
  author    = {Emily Yu and Nils Froleyks and Armin Biere and Keijo Heljanko},
  title     = {Stratified Certification for k-Induction (Extended Abstract)},
  editor       = {Armin Biere and Daniel Gro{\ss}e},
  booktitle    = {Proceedings 26th {GMM/ITG/GI} Workshop on Methods and
                  Description Languages for Modelling and Verification
                  of Circuits and Systems, {MBMV} 2023, Freiburg,
                  Germany, March 23-24, 2023},
  volume       = {309},
  series       = {ITG Fachberichte},
  publisher    = {{VDE Verlag}},
  pages	       = {68--69},
  year	       = 2023,
}