A Specht Filtration of Permutation Modules Over KLR Algebras | Synapse