Bruno Courcelle Mamadou Moustapha Kanté Graph Operations Characterizing Rank-Width and Balanced Graph Expressions. 66-75 2007 conf/wg/2007 WG http://dx.doi.org/10.1007/978-3-540-74839-7_7 db/conf/wg/wg2007.html#CourcelleK07