The undecidability of simultaneous rigid E-unification
scientific article; zbMATH DE number 983430
scientific article