Bruno Courcelle Mohamed Mosbah Monadic Second-Order Evaluations on Tree-Decomposable Graphs. 13-24 1991 conf/wg/1991 WG db/conf/wg/wg91.html#CourcelleM91 http://dx.doi.org/10.1007/3-540-55121-2_2