Galois connections for patterns: an algebra of labelled graphs - Cohen, DA; Cooper, MC; Jeavons, PG; Zivny, S (Proceedings of the International Workshop on Graph Structures for Knowledge Representation and Reasoning, 2021)