Towards the automation of set theory and its logic
scientific article; zbMATH DE number 3614214