Zhufei Chu, Lei Shi, Lun-Yao Wang, Yinshui Xia: Multi-objective algebraic rewriting in XOR-majority graphs. Integr. 69: 40-49 (2019)