@misc{indiciae96a5be9d99f7, title = {On Local Domain Symmetry for Model Expansion}, author = {Jo Devriendt and Bart Bogaerts and Maurice Bruynooghe and Marc Denecker}, year = {2016}, doi = {10.1017/s1471068416000508}, url = {https://arxiv.org/abs/1608.02688}, note = {Source identifier: 1608.02688} }