@article{KirstHermes_2023,
title={Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq},
author={Kirst, Dominik and Hermes, Marc},
issn={1573-0670},
doi={http://dx.doi.org/10.22028/D291-39696},
series={1},
volume={67},
publisher={Springer Nature},
journal={Journal of Automated Reasoning},
year={2023}
}