ASNP: A Tame Fragment of Existential Second-Order Logic.

Manuel Bodirsky, Simon Knuer, Florian Starke

Browse the full CiE paper archive.