On local domain symmetry for model expansion

Jo Devriendt, Bart Bogaerts 0001, Maurice Bruynooghe, Marc Denecker. On local domain symmetry for model expansion. TPLP, 16(5-6):636-652, 2016. [doi]

Abstract

Abstract is missing.