A necessary condition for the residual nilpotence of HNN-extensions
scientific article; zbMATH DE number 6893827