Qualified Logic Programming with Bivalued Predicates | Publicación