https://rules.gitlabpages.inria.fr/integraal/fr.inria.rules.integraal.forward_chaining/fr/inria/rules/integraal/forward_chaining/chase/metachase/stratified/package-tree.html
fr.inria.rules.integraal.forward_chaining.chase.metachase.stratified Class Hierarchy (InteGraal :...
tree: module: fr.inria.rules.integraal.forward_chaining, package: fr.inria.rules.integraal.forward_chaining.chase.metachase.stratified
frinriarulesintegraalforward