Fixed grounding of disjunctive recursive rules