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