S-forcing. I: a ''black-box'' theorem for morasses, with applications to super-Souslin trees
scientific article; zbMATH DE number 3809543