Automated generation of contrapuntal musical compositions using probabilistic logic in Derive. - Gabriel Aguilera Venegas; José Luis Galán García; Rafael Madrid; Antonio Manuel Martínez; Yolanda Padilla; Pedro Rodríguez Cielos (Math. Comput. Simul., 2010)