Residual finiteness of descending HNN-extensions of groups
scientific article; zbMATH DE number 146512