Pushing Tree Decompositions Forward Along Graph Homomorphisms. - Benjamin Merlin Bumpus; James P. Fairbanks; Will J. Turner (CoRR, 2024)