Finite Model Theory by Libkin

GPTKB entity