M Sarria, M Gerardo - Ingeniería y competitividad, 2013 - scielo.org.co
During the last decades, several formal models have been proposed to formalize musical
applications, to solve musical and improvisation problems, and to prove properties in music …