Rhythm Quantization
We represent rhythms as trees. Rhythm trees can be changed into other rhythm trees using rewriting rules. It makes it possible to define an equivalence relation between rythms. Some of the rewriting rules simplify the rhythms and are used to quantify them.