76 citations · 82 across the 4 of their papers we have counts for
1 paper · 1 filter
Vince Bárány, Georg Gottlob, Martin Otto
Evaluating a Boolean conjunctive query Q against a guarded first-order theory F is equivalent to checking whether "F and not Q" is unsatisfiable. This problem is relevant to the ar…