Compositional Algorithms on Compositional Data: Deciding Sheaves on Presheaves. - Ernst Althaus; Benjamin Merlin Bumpus; James P. Fairbanks; Daniel Rosiak (CoRR, 2023)