A Method of Logic Deduction and Verification in KBS Using Positive Integers | Publicación