Ilya Shapirovsky: PSPACE-decidability of Japaridze's polymodal logic. Advances in Modal Logic 2008: 289-304