Datalog-Expressibility for Monadic and Guarded Second-Order Logic.

Manuel Bodirsky, Simon Knuer, Sebastian Rudolph

Browse the full ICALP paper archive.