Descriptive complexity, canonisation, and definable graph structure theory 2017 · ENGLISH · PDF View details →