Implicit Definability and Infinitary Logic in Finite Model Theory.

Anuj Dawar, Lauri Hella, Phokion G. Kolaitis

Browse the full ICALP paper archive.