S
aturation_
F
ramework
Calculus
Intersection_Calculus
Calculus_Variations
Lifting_to_Non_Ground_Calculi
Labeled_Lifting_to_Non_Ground_Calculi
Given_Clause_Architectures