> Thanks all for your detailed answers. I will make sure to study all the
> given references :)
You can also take a look at
http://flint.cs.yale.edu/flint/publications/inductivemu.html
which tried to solve this problem is a slightly different setting.
Stefan