Expressiveness and complexity of graph logic (2007)

by A Dawar, P Gardner, G Ghelli
Venue:Information and Computation