Agerholm S, Gordon M. Experiments with ZF Set Theory in HOL and Isabelle. BRICS [Internet]. 1995 Jun. 7 [cited 2024 Oct. 19];2(37). Available from: https://tidsskrift.dk/brics/article/view/19940