D1.1Grant Agreement • October 15th, 2014
Contract Type FiledOctober 15th, 2014chosen. It is possible to align a variable of the source domain with a variable in the target domain without any cost. The renaming substitution is only required for formal reasons: it does not lead to a real generalization.