Queries with guarded negation (full version (2012)

by V Bárány, ten Cate, B, M Otto