@article{466431d70e814146ac1fbc71070ebdf3,
title = "Generating and Exploiting Automated Reasoning Proof Certificates",
author = "Haniel Barbosa and Clark Barrett and Byron Cook and Bruno Dutertre and Gereon Kremer and Hanna Lachnitt and Aina Niemetz and Andres N{\"o}tzli and Alex Ozdemir and Mathias Preiner and Andrew Reynolds and Cesare Tinelli and Yoni Zohar",
year = "2023",
month = sep,
day = "22",
doi = "10.1145/3587692",
language = "الإنجليزيّة",
volume = "66",
pages = "86--95",
journal = "Communications of the ACM",
issn = "0001-0782",
publisher = "Association for Computing Machinery (ACM)",
number = "10",
}