Efficient interpretation of prepositional multiple-valued logic programs | Publicación