@inproceedings{FroleyksYuBiereHeljanko-IJCAR24,
  author       = {Nils Froleyks and
                  Emily Yu and
                  Armin Biere and
                  Keijo Heljanko},
  editor       = {Christoph Benzm{\"{u}}ller and
                  Marijn J. H. Heule and
                  Renate A. Schmidt},
  title        = {Certifying Phase Abstraction},
  booktitle    = {Automated Reasoning - 12th International Joint Conference, {IJCAR}
                  2024, Nancy, France, July 3-6, 2024, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14739},
  pages        = {284--303},
  publisher    = {Springer},
  year         = {2024},
  doi          = {10.1007/978-3-031-63498-7\_17},
}