Denis Cornaz, Fabio Furini, Mathieu Lacroix, Enrico Malaguti, Ali Ridha Mahjoub, Sébastien Martin: Mathematical formulations for the Balanced Vertex k-Separator Problem. CoDIT 2014: 176-181