Satisfiability in a Linguistic-Valued Logic and Its Quasi-horn Clause Inference Framework | Publicación