Model Expansion in the Presence of Function Symbols Using Constraint Programming.

Broes De Cat, Bart Bogaerts, Jo Devriendt, Marc Denecker

Browse the full ICTAI paper archive.