@article{FleuryBiere-FMSD22,
  author       = {Mathias Fleury and
                  Armin Biere},
  title        = {Mining definitions in {Kissat} with {Kittens}},
  journal      = {Formal Methods Syst. Des.},
  volume       = {60},
  number       = {3},
  pages        = {381--404},
  year         = {2022},
  doi          = {10.1007/S10703-023-00421-2},
}