R
esolution_
F
O
L
TermsAndLiterals
Tree
Resolution
Completeness
Examples
Unification_Theorem
Completeness_Instance