TY  - RPRT
TI  - On Local Domain Symmetry for Model Expansion
AU  - Jo Devriendt
AU  - Bart Bogaerts
AU  - Maurice Bruynooghe
AU  - Marc Denecker
PY  - 2016
DO  - 10.1017/s1471068416000508
UR  - https://arxiv.org/abs/1608.02688
ID  - 1608.02688
ER  -