Revisiting the Formation of Harmonic Progressions from the Perspective of Voice-Leading with Evolutionary Computation | IEEE Conference Publication | IEEE Xplore