content_pres -> acic_content;
acic_content -> cic_acic;
cic_acic -> cic_proof_checking;
content_pres -> acic_content;
acic_content -> cic_acic;
cic_acic -> cic_proof_checking;
Matita -> paramodulation;
ProofChecker -> cic_proof_checking;
Uwobo -> content_pres;
Whelp -> cic_disambiguation;
Matita -> paramodulation;
ProofChecker -> cic_proof_checking;
Uwobo -> content_pres;
Whelp -> cic_disambiguation;