Ronald Fagin Finite-Model Theory - A Personal Perspective. 3-31 1993 116 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs116.html#Fagin93