Computation of the homology of the complexes of finite Verma modules for K'_4 - Lucia Bagnoli (2021)