Infinitary Logic and Inductive Definability over Finite Structures
Information and Computation
Faculty Start Year
"Infinitary Logic and Inductive Definability over Finite Structures" (co-written with Anuj Dawar & Scott Weinstein), Information and Computation, Vol. 119, No. 2, June 1995 pp. 160-175.