Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses. - Ogawa, Mizuhito; Hu, Zhenjiang; Sasano, Isao; Takeichi, Masato (2002)