Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures. - Xinyan Gao; Yingcai Ding; Wenbo Liu; Kaidi Zheng; Siyu Huang; Ning Zhou; Dakui Li (J. Appl. Math., 2014)