Infinitary Logic and Inductive Definability over Finite Structures Anuj Dawar Steven Lindell Scott Weinstein 160-175 Inf. Comput. June 1995 119 2 db/journals/iandc/iandc119.html#DawarLW95