Automated reasoning for derivation of products in MD-SPLE | Publicación