- small typos
- def of $l_{i,j}$
- removed $i(H)$, 
- reintroduced the definition of tree decomposition (T,b)

Replacing the tree-decomposition by clique-sum operations. 
Introduction of clique-sum extendable representation.
Replacing treewidth by k-trees