Exploiting Equitable Partitions for Efficient Block Triangularization. - Mario Thüne (CoRR, 2016)