@InProceedings{2024NaprocheZF,
author="De Lon, Adrian",
editor="Benzm{\"u}ller, Christoph
and Heule, Marijn J.H.
and Schmidt, Renate A.",
title="The Naproche-ZF Theorem Prover (Short Paper)",
booktitle="Automated Reasoning",
year="2024",
publisher="Springer Nature Switzerland",
address="Cham",
pages="105--114",
isbn="978-3-031-63498-7"
}