Functional_Ordered_Resolution_Prover

Weighted_FO_Ordered_Resolution_Prover

Deterministic_FO_Ordered_Resolution_Prover

IsaFoR_Term

Executable_Subsumption

Executable_FO_Ordered_Resolution_Prover