Partial Order Reduction and Symmetry with Multiple Representatives. - Dragan Bosnacki; Mark Scheffer (NFM, 2015)