@article{bibliotecadigitalicesi10906/83102,
title =    {Automated reasoning for derivation of products in MD-SPLE},
year =    {2011},
}