Login / Signup

On local domain symmetry for model expansion.

Jo DevriendtBart BogaertsMaurice BruynoogheMarc Denecker
Published in: Theory Pract. Log. Program. (2016)
Keyphrases