The HOI Resolution and HOL Resolution in Horn Set

• Horn集上的HOI消解与HOL消解