A Modern Rigorous Approach to Stratification in NF/NFU. - Tin Adlesic; Vedran Cacic (Logica Universalis, 2022)