@inproceedings{bridges2011:49,
  author      = {George Sioros and Carlos Guedes},
  title       = {A Formal Approach for High-Level Automatic Rhythm Generation},
  pages       = {233--240},
  booktitle   = {Proceedings of Bridges 2011: Mathematics, Music, Art,
                 Architecture, Culture},
  year        = {2011},
  editor      = {Reza Sarhangi and Carlo H. S\'{e}quin},
  isbn        = {978-0-9846042-6-5},
  issn        = {1099-6702},
  publisher   = {Tessellations Publishing}
}