Martin Grohe György Turán Learnability and Definability in Trees and Similar Structures. 645-658 2002 conf/stacs/2002 STACS http://dx.doi.org/10.1007/3-540-45841-7_53 db/conf/stacs/stacs2002.html#GroheT02