Term Models of Horn Clauses over Rational Pavelka Predicate Logic | Publicación