Ronald Fagin Finite Model Theory and its Origins. 3 2009 APCCM http://crpit.com/confpapers/CRPITV96Fagin.pdf conf/apccm/2009 db/conf/apccm/apccm2009.html#Fagin09