Infinitary logic and inductive definability over finite structures (1995)

by A Dawar, S Lindell, S Weinstein
Venue:Information and Computation