Successor-Invariant First-Order Logic on Classes of Bounded Degree (Extended Abstract).

Julien Grange

Browse the full IJCAI paper archive.