A computer algebra approach to verification and deduction in many-valued knowledge systems | Publicación