Distributed reasoning for restricted weakly-linear disjunctive tuple-generating dependencies

From MaRDI portal