Galois connections for patterns: an algebra of labelled graphs (Proceedings of the International Workshop on Graph Structures for Knowledge Representation and Reasoning, 2021)

(untitled) - Cohen, DA; Cooper, MC; Jeavons, PG; Zivny, S