Andrzej Ehrenfeucht Joost Engelfriet Grzegorz Rozenberg Finite Languages for the Representation of Finite Graphs. 170-184 1996 52 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss52.html#EhrenfeuchtER96