Model Expansion in the Presence of Function Symbols Using Constraint Programming | IEEE Conference Publication | IEEE Xplore