Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

GPTKB entity