alpha-Resolution Method for Lattice-Valued Horn Generalized Clauses in Lattice-Valued First-Order Logic System | IEEE Conference Publication | IEEE Xplore