Herbrand-satisfiability of a Quantified Set-theoretic Fragment*
scientific article; zbMATH DE number 6805738