Common Contracts
1 similar null contracts
D1.1October 15th, 2014
chosen. 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.
