The decidability of the \(\forall ^*\exists\) class and the axiom of foundation
scientific article; zbMATH DE number 1990748