A generic convolution algorithm for join operations on tree decompositions
scientific article; zbMATH DE number 7493547
scientific article