6 citations · 6 across the 1 of their papers we have counts for
1 paper · 1 filter
Bruno Marnette
This paper present several refinements of the Datalog +/- framework based on resolution and Datalog-rewriting. We first present a resolution algorithm which is complete for arbitra…