1 problem

Let $\mathbf{fus}$ denote the class of rulesets considered in the paper, and let finite controllability mean that query entailment over such rulesets can be determined using finite…