Computing tau-rigid modules
Silting subcategories and the transitivity of iterated urreducible silting mutation